From f6daf266d404071898572409e7d7bdcef69b7c22 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Tue, 18 Aug 2015 12:46:12 +0200
Subject: [PATCH] deployment

---
 .gitignore            |   1 +
 .travis.yml           |  11 ++++++-
 build.gradle          |  72 +++++++++++++++++++++++++++++++++++++-----
 gradle.properties.enc | Bin 0 -> 224 bytes
 pubring.gpg.enc       | Bin 0 -> 1232 bytes
 secring.gpg.enc       | Bin 0 -> 2608 bytes
 6 files changed, 75 insertions(+), 9 deletions(-)
 create mode 100644 .gitignore
 create mode 100644 gradle.properties.enc
 create mode 100644 pubring.gpg.enc
 create mode 100644 secring.gpg.enc

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..ac1e2a4
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+local.*
diff --git a/.travis.yml b/.travis.yml
index 9c22d94..d537a62 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,3 +1,12 @@
 language: java
 
-script: gradle tla2b
+script: gradle uploadArchives
+
+before_install:
+- openssl aes-256-cbc -pass pass:$ENCRYPTION_PASSWORD -in secring.gpg.enc -out secring.gpg -d
+- openssl aes-256-cbc -pass pass:$ENCRYPTION_PASSWORD -in pubring.gpg.enc -out pubring.gpg -d
+- openssl aes-256-cbc -pass pass:$ENCRYPTION_PASSWORD -in gradle.properties.enc -out gradle.properties -d
+
+env:
+  global:
+    secure: RSWp6NRFm5iSK76fm6Ms1FLyUKMKhXt1JrUAQ6x558R73mT7SUvdKbBn9Ffh+TiNO6JVsma3KFoHvYnx8Ys6OGipyXW8g2DKiyg3jm2im4HTtxJqpp7Rls0gm0jGpjOOLwkWl719DZLC6+cPoUuGWtAk8FbowkBz1uWySnJSltI=
diff --git a/build.gradle b/build.gradle
index a6db75b..42afbd6 100644
--- a/build.gradle
+++ b/build.gradle
@@ -5,7 +5,9 @@ apply plugin: 'jacoco'
 apply plugin: 'findbugs'
 
 project.version = '1.0.5-SNAPSHOT'
-project.group = 'de.prob'
+project.group = 'de.hhu.stups'
+project.archivesBaseName = "tla2bAST"
+
 
 repositories {
 	mavenCentral()
@@ -20,20 +22,20 @@ repositories {
 }
 
 configurations { // configuration that holds jars to copy into lib
-	releaseJars 
+	releaseJars
 }
- 
+
 def parser_version = '2.5.0-SNAPSHOT'
 
 dependencies {
 	//compile (group: 'com.microsoft', name: 'tla2tools', version: '1.4.6')
 	compile (group: 'de.hhu.stups', name: 'tlatools', version: '1.0.0')
-	
+
 	compile (group: 'de.hhu.stups', name: 'prologlib', version: parser_version)
 	compile (group: 'de.hhu.stups', name: 'parserbase', version: parser_version)
 	compile (group: 'de.hhu.stups', name: 'bparser', version: parser_version)
 	compile (group: 'de.hhu.stups', name: 'ltlparser', version: parser_version)
-	
+
 	//compile(group: 'de.prob', name: 'de.prob.core.kernel', version: '2.0.0-milestone-13-SNAPSHOT')
 
 	testCompile (group: 'junit', name: 'junit', version: '4.7')
@@ -61,17 +63,17 @@ tasks.withType(FindBugs) {
 	// disable findbugs by default
 	// in order to run findbugs type 'gradle tlc4b findbugsMain findbugsTest'
 	task -> enabled = gradle.startParameter.taskNames.contains(task.name)
-	
+
     reports {
         xml.enabled = false
         html.enabled = true
     }
-	
+
 	ignoreFailures = true
 }
 
 
-test { 
+test {
 	exclude('testing')
 	allJvmArgs = [ "-Xss515m" ]
 }
@@ -95,3 +97,57 @@ task tla2b(dependsOn: build) << {
 		rename('tla2bAST-(.+)', 'TLA2B.jar')
 	}
 }
+
+if (project.hasProperty('ossrhUsername') && project.hasProperty('ossrhPassword')) {
+
+apply plugin: 'signing'
+
+signing {
+    sign configurations.archives
+}
+uploadArchives {
+  repositories {
+    mavenDeployer {
+      beforeDeployment { MavenDeployment deployment -> signing.signPom(deployment) }
+
+      repository(url: "https://oss.sonatype.org/service/local/staging/deploy/maven2/") {
+        authentication(userName: ossrhUsername, password: ossrhPassword)
+      }
+
+      snapshotRepository(url: "https://oss.sonatype.org/content/repositories/snapshots/") {
+        authentication(userName: ossrhUsername, password: ossrhPassword)
+      }
+
+      pom.project {
+        name 'TLA+ to B-AST'
+        packaging 'jar'
+        // optionally artifactId can be defined here
+        description "Translator from TLA+ to ProB's AST representation."
+        url 'https://github.com/hhu-stups/tla2bAST'
+
+        licenses {
+          license {
+            name 'GNU Lesser General Public License, Version 2.1'
+            url 'http://www.gnu.org/licenses/lgpl-2.1.html'
+          }
+        }
+
+        scm {
+          connection 'scm:git:git://github.com/hhu-stups/tla2bAST.git'
+          developerConnection 'scm:git:git@github.com:hhu-stups/tla2bAST.git'
+          url 'https://github.com/bendisposto/hhu-stups/tla2bAST'
+        }
+
+
+        developers {
+          developer {
+            id 'bendisposto'
+            name 'Jens Bendisposto'
+            email 'jens@bendisposto.de'
+          }
+        }
+      }
+    }
+  }
+}
+}
diff --git a/gradle.properties.enc b/gradle.properties.enc
new file mode 100644
index 0000000000000000000000000000000000000000..e9a9c971acda99e16295491923462b46a612c3fd
GIT binary patch
literal 224
zcmWGe%qdAtiH|oI3NE_kv;Fn`2h%pJZs?2r>egbsf8G1}c9j}J7G=8^3ks(--IKET
zYgAHDH|1)4#M$jD{>MH_%AfXO)j`vB7JE3aXBXePbwWv1yOD);iJ>2d{XQ8>nFHrf
zgsM4ietve#w(#>AUOKfolQq6>?^Z3D`5@4j@qAUoa;0@s-u3?|VCbIusjka+-nqWu
z=j*FBo&C6j;p-yt2?zL=_%_v;Icm8!2Cbj}f-|Ra(x<~`O&`BEj-2&8%rNcN+_ya3
j8W*#yewNO8eMe%??xj=CbDRxn)%jb%bGY@L+j=7aD!Xy;

literal 0
HcmV?d00001

diff --git a/pubring.gpg.enc b/pubring.gpg.enc
new file mode 100644
index 0000000000000000000000000000000000000000..861ea058c7ffba38f27570fc5099b96aa0c3940e
GIT binary patch
literal 1232
zcmWGe%qdAtiI0D9=+511N-?^}rW`gnWS|zaDOO$U`M<V_c}M;Ca<4PYUVm(&^ZE6H
zQR$+B^PcTt)~eh5G4PsE$PBhEOS1hQym#Z6@#%MfbfBV@;MpUrQ%kJP7l_$z3F3Nh
zeEZslg3F#3XWoTyzo;&HH<zd5{5Gbo6^9FU9+=5?SH))i<_8Cpo+l-3ocY>)^};>(
zDxXD}TK2w*nb^7Tvx%o_gmPKXiD^^9H*s_BxZe7q{Kef_XCp4`|D~C}vNO{~F6Gt{
z&i=5)Cu`5#ek+^Ps<E;21y972Im?WM|K{h0&og+-A#=y+>bXw${eN4e(&jvUHC1UE
zvwHocvV*2RO<taBj&v2y@jE)>eDDPk>Gm@*JOKe+dux1MkLeucR>=S8A=z=@LQ}Fy
z>V?$xm)CgIcCg=G7IWv-t%N5BSifHj_1`i#Q}%vVTU;Jz&BUu0?B;&D{_@B7Cx6UE
z@91kxy~?p8LHWY%ZxdX96#Q46<+XgfV=9NuK7N_lrMsHV)Y$&rFA9_t?0jD=VO_-8
zVUwU~GLKpR^WrH-Ui#)7cYdXupSf7C;Ly@VEhXnxR(36!QOSK*G+g(0`26^Z9I4H-
zZhd_zA!4fiqx;mqo58sazPvk}4WBhzNV2q?_bHhW5pyf)sDYlSAd9ZN$bzhe&J)90
z{nzyPPF3E-FlnvZu8yQPliTJO9J<ykl)+(lYlHr5qfF(#-Jc>Bh5dM;A5z4r8{{%&
zPPvEE0ma(;oCojsE@>89cURuu&q|^A=UKj#FQ;Bf|B2&>>@Yd`+0J-n^8EBK43b9;
z1NSdbDEb>cK}In9iHC~Lv*x|hrJ~-Ir=KoX|KM`tn5$d!>67feB1d$B#UoEQn?5h)
zy*u%7CC94^|EHf>Rk{B|lt7=q$C@=Cx-OnNs6ShB|0ciB_A8yWZwF8Iu5B`L4b7=$
zx4PK#W@pw<pN#+U`F5;}7rN*MANE_<!J>MrHYB23Qrz!A9;=#?xpr>cpVgnPtdd(2
zxaI4O^Y2_<S-yY5##MTD4^O_m*S$P3|K64({`Pm7?{g(-R2wT=tyv(jQ@1dpq;uv8
zgF~!aC*AW4Qeq1G%XX<V?^x=s-Q_t&3(s768nSiS^MBFBQzc(m>HoQ<R`Q8gY`@IU
zM`BNE{$G>%b@T4qP1WTumz>t$xN+S_&iip9OQv5iO+9fZ+T{L&0*_jaca9$$V)o=!
z%$F-Y@4cNxYopHhxgo4GKK(qgpgkq<;+^yR%zZ5UCs!-Pd3}1Oe^A9%=SFZ<_{Pt>
z4OavvRBgET?WyRF#cfMP=d87rcz=)2Xp1cOkzy|{f1|R)ml`d0ueR<MUcQ%kI)i5-
zr`^`?OJ%ppu1m|xaoP9ss7~O_-<`iYGrsICNp?)S=&W^YO8WojEv(zm2WNXEt!yYc
z;VCclouzVON{oP08mr-k$?mpW+#+;Z)=y4r)VV3=^JQ&-vES`0TJ;)lXC}>^esJ^b
z82+4DJxmh~r?AKRaGn#Y{QGI~tefHw)RP<BxUWC|`T6N-O_h)<+jY$hd3T09@ICS3
z!IPIh8G^qTZojT9x-svsz$cq8&q7Z;nQrs?r0DbM*4Ys+-pt*@^60tQ{%xl&wTc8C
za#Nn{|7L^wE&1G4>%D3pwtx0oX?nMFxyV5==Xo4<ovXWYSM8BD$&7aRDjk+M{q3p6
GavK5hwPsHM

literal 0
HcmV?d00001

diff --git a/secring.gpg.enc b/secring.gpg.enc
new file mode 100644
index 0000000000000000000000000000000000000000..9e10ccfc0db8c240dd7a3fa95e9807f12dbd402a
GIT binary patch
literal 2608
zcmWGe%qdAtiH~2JwEBPmk0XPJU=*_sFPF`#c;B7t+9j7acx(TtVyb;#_}8pF+WAlO
zA;lzx+fVJ+=QzC4xskim?fw*tv~MdEAJ)lMs3cwZpt*BmT+zx8PnhR3IeKQ)>RwS5
zST~{ZNyE(8#JytG7q2XvT=C{Qo5>`mN4M5$hj^#{===M#sV;Z2TYJn!-*xT>ctnp~
z@_h8Msd=G;kcRz2!D(U_s->AU3d3vP2=CkN_IJUoiC<>K2Dat-FhAmYq%`MImxqAw
zT<v?O3%Yonr`&)2X`yF;<#Vemes|?ta#Td$^@>^VywS4WwQ>GUj~8j>`udx=8m9%b
zJ0xc0KF)}lXRv<D#$y}4i3$C$>iWN+BVqZHi2SA-^B$in;oqO7BC7Z%b<J7Rg+E1d
zZ4+cdJ9%r`<iq9#*(Ge<Q{<<=i?94sx*&tDZm!XcAdmOaNmZtQBP_k|)bBWaexm<u
zsmxaUldqf(*&bdYlUx`zztQw^j;-3G-SOqEa)x^s2==~Qt-i`gCX1ojY(wO<Z!dah
zeb#!dF7lFD>lXKqJMxd$SeQDzS9E{T#VQ&9Zk9kxeg4w_ODj|r8ZBQ&|EZ7C&NAkX
zS^DBg=(+_HZEu_ky|7))?RC+?#jj0mXGPp+j6c^OJh4Hv!DZ{;d5tx^H)l<G71qpr
zWogj-p7g`bv(~>#iZgEbb^Dt1*W-C?n;-q!d`@kl<bvQ8uOD9HNu0ZD-N|ip;`Od6
zEQ_!GD0ys0&}<jQ4BNe$JSWumdT9TeGP$FE>&NeZuO4vCO>~KA^Uj<YHY2`j+k6Yn
z=E^|lc!B!vpWd5Q@29<*R@fhF{&H9CbEV0Lo|&G1c4_IAyWJwn)48%@gr)ym*BJH6
zul#%~_RZqF`)8^qZ!xO<F*DHktcIy}h@V$_S4Q3bee!2FCN`!|$~y9^na69>j(hxS
zb=NaQBJJjVTmL$MGes}=Y~j1*=U4MRRp_`FpfPXt_g?WA5vz@shRc09H?dsV$-60E
zv7Kj^E0=6yyQhbE+~pf(<?EyG99wq%j>%iYxoMt<lRrNV*r4V(=O#1j&Yc>H*5cn|
zi!*8sg`JgL5?H3+Sg*;XvG0m+=;u?l4>}mXtz4q`JzeBiOmQdM4xyyYT07fry7tcZ
zQBHnRH)YD@nUhWjES#sZ*YUI;;}g%TUpC2wWgoW_6`#5K{BwaRcPE%}Hc6LG=hpRn
z-{f&VR<l*G^IwhX!|8Im_qSYlbi0_f?0naABO~|M3Vm|NIRAGDJl<}8{r!{c`Dfk~
zUD}aZvc5@o_EIC|jzvv1FD6c%x06+Tlf*p-<JBkct#D4Oa~HpPd%nt!XHz}n^_Kjo
z5cXP>utwiS+|nyvFXD_?@`QO=TAL+V3+nsxjKa5TZ({%4cz^#<53?(ma{GM0cO{iQ
zkNhM0{=~IRgZ*|99~af+>HMCS|GrdG?|jS?t$Up=4c{)N2x&g}a!T9cR8#&<o*V_<
zRTKXol;6z3^U7@DPJ!14cQVaoJR7GY5nXuO$WmE{(e2i(&5P1*-_#I(n4TpT@QZDJ
z?|RuM7t2*eY97n{^y=j?YTeSaW`~aF<c^8e8{bBF7?kr*;nMhiZZiwZ<o~78;)h}v
z>D3i*PV%0udTf1yk;3U~rShv^YVF&;bwk3|?Vd?r%S~lI-ANQm%3p20k7?JLn9a|h
z?7d(%zgi_;Xzty_JG)zZL<-Vu82&o<*`H<%_gEriR(^8x6^@*<e^c%=tQ7cnYU(S|
zRqBk9TY|+j(l4wI58bPtzmBPIV$I5F8t&I_hnU1n4A}Ji`P{iD*;eO&efZ3E2K$Hb
zti|$zHy16?j?+n3dUq=Qf_%c&HHRLG*h$?u+bZ~WX;k%xo5Flo?fC1Zy0TRTbhZD#
zsAqPIY<}>jxs9XzfM;2Ze5hFR`>nT?*Ay^V-SXR}P+Pg;$~Hz8?FiX<8+XKdT4u&t
znWap1e_J8WFq@}#fs4J_E@`>eO%J2a>{czyC^Mh+nK9jMbwck=vw!7DhFf$uZr?xK
zt4kuYck$AF8WrZ{L2vhPJ?2Qc&ZzoJxxG5rmWAtJlWv`e;U3nule<KZxUpSc8#(dy
zJN~&TE#XV|JX6oiny7y6Z)fVN6Hl($-8pno==!xg_v&IDCO2<UU%5E7#Pgek(XS&;
z<#Tn5rf}Zyygw&P!(-pJEa~&zzs?F>G7_|KHqFaOlu*$T&1h~Fe{bycw6Fg2|E9ne
zwttFQMjEU80&_O4ymskA^qsZ)rM_NN?U;2;XnR%huOm9)YZjGjP0O%35|db_85Z&&
z$VcjUh?U#9qpv<zewc1qlfz-ro0qywqT=@2HC<JgrkxG>v5o2LQ{TStbEci26V<nO
zmWQF8=oiz6zW2lXx|{`rc$Ub_tT-0BbAIi|_$wL(F9bR{)qZW)oe{KoYe?`m&bNkJ
zzwJ=l@F3-tQ}ahd&Q}e>9v(ZD?;5jT-MMD1`AzM>yiE~H!_s%1YASJO-CG_y=hlv3
zSKoC%lsvX6M9j3E{pNnr;f=|~KRR31ZP<E?<@3f(=QHN5V!GXQfYIxr)6u#Yf`4Xg
z_51VT-GZjef2Yqe)`)#Bns(T<Vxm?3m)W}&=a{|dXqTN8asGJO!(v8_d-;6(>I{GG
z6bm~0I_v24?~(UQ%+_b++|)|jyFm2U8*{(#DOdGk{?{b`i8+3IlG&N<&5nwJs^7L<
z@YhJF%~@Ty*=ON~M{@lCDl$Hu|GZ0AjosmW?vBeUCf3JiPxp)a>RvP_`tFwVZ@0dU
z)+ksz??p&K>W^rfrObBoXRsfbbE>ntR99uyr;PNy6Els1uKP^Ol>BH|bSiYG*nX?q
zUl`@P{)Pl;YHj!`vVJ9BVZz?;pKoyJ_%W?GwfBm(`JFQ-g#I`$N$Fpmr&y2{{2=O`
z!MA0>Zoyg+Z3_-BYdjigB|Sae^`2kb-7gR33qRZVfAN|-r(~_JJxaDbF>A?<@PG0X
z6K1p4UkDR$^SbF?sJNzawRexnu1UXCn#;sbEwk_nQaWCC|B+C8n}l6W?$MmI4SG`_
ztvLH5^nd5&?a2pHZ0f`{nKGOrrbIr?d&{a5?R{j!T)TD2<&~=80b)*);r|<2Blew2
zn_47kt9Yww(yS1p=U2-=m<3!o*4uJ6zJYJziY3p3`;S_){F$-cr1Tl@qtA^?W7GF0
z<tc^nWXRrl^!>Nd<b7<@y#M;^KU<=BbyDRa&%<qAyV-mSU5lTDn{3;({j3r1=aB6`
z7m8ghdV9d(n&w}z12;PYe$UJ*j&q#8(XQR<dej2G)vdl2_Rp_cyW}6vobth-_ImW}
zU*a!+etJ@w6QG*3X{Yvtlb_Xhy;s+K*e~<$-Q0WnimVyG<?EyC1>?79<lOiz?{u}m
z$bsjY=0a(n`5Daf4f21k`*x3i@_|Ph+UoBG85E8ep1Aq(<Ojnw;;&<m_{WHfZ>?;p
zZk=oOp&>)!{JwV8J1b2B*p#czZk>OrziG{!i$XtFWG{Ol+j6KyYwJmlPPw_WzsUSZ
zzuV4##(5q8%t_DGmrU}}oqub(@*0QW`AfSqmVe!%_b6NQz^U(FyROtPIOTQ&0Gj6!
APXGV_

literal 0
HcmV?d00001

-- 
GitLab