From 4041813c085f20457d0034892db141df185c04ed Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Tue, 18 Aug 2015 12:06:49 +0200
Subject: [PATCH] deployment
---
.gitignore | 1 +
.travis.yml | 16 ++++++--
gradle.properties.enc | Bin 0 -> 224 bytes
pubring.gpg.enc | Bin 0 -> 1232 bytes
secring.gpg.enc | Bin 0 -> 2608 bytes
tlatools/build.gradle | 86 ++++++++++++++++++++++++++++++++++++------
6 files changed, 89 insertions(+), 14 deletions(-)
create mode 100644 gradle.properties.enc
create mode 100644 pubring.gpg.enc
create mode 100644 secring.gpg.enc
diff --git a/.gitignore b/.gitignore
index 03121f032..c7a4b4ba5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -25,3 +25,4 @@ screenshots/
tlatools/.gradle
tlatools/build
ajcore.*.txt
+local.*
diff --git a/.travis.yml b/.travis.yml
index 2082aee2d..13245f240 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,5 +1,15 @@
language: java
-
+jdk:
+- oraclejdk7
+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
+ tlatools/gradle.properties -d
install: /bin/true
-
-script: gradle -b tlatools/build.gradle tlatools
+script: gradle -btlatools/build.gradle uploadArchives
+env:
+ global:
+ secure: IrwH0PGjlWp22J55HCJrmqUlupD4X+BIYNnpn88lAtWDeqS+iSl43p42woBxHdrXDwPdYBWpLOYLtDxf7EEw9gnvp5y9FUyYBqscjqTKVpsXAH7f/aCgMb9S4p9kYC/jME7cKwiY2/fx+yAFOQqEOqpBWUrIQssH6ApfOv/3P5khb0O0BMYh0ek8oVrX9+NHpQTnolPIG8chBS53iHM27InQp9RB7sW+l69UaP1+jkzSbyvcfI+p64mgpHZQxnL6DeBi5d82cHDog38GbMeOgBJPNeMplSKo9ofTqOLChqfCAT4s0XskASkQNz7OOC8zWNeEoXpQF8ff9QqKrHyS284LZrrdf8pcJoQgFm/DSilUFCMRCNDWmAuCBR7In8zeBNVbMKR4v2/tcu5yR/PT5disS9Flxl2V3t0/s4MN88qN4w5ZU5I+KxxkR3NJoDWtfCz1b9vQXEXdWiUi5dwpKZ3skxQxY/w+/h2qyYfFfqFHTKW0z98ZBygGySlwsEPVzmva3o6L0bT+6dlT0/5GQi3tbgc6n+M+eafpP/EPybghLqUVF46h3hibK6Bykj3+9djBb0OZTOwyBuQO69TmXWUU/tlMwlBmz2ib3pgz2MBnWNdui6UVwVI2y2fhHNkCc/tRg356dxbI4p6oP0ogncdwlOlGsEUX773GjYQmHhU=
diff --git a/gradle.properties.enc b/gradle.properties.enc
new file mode 100644
index 0000000000000000000000000000000000000000..8dec5627428305a4508fe5431fe42f841ea92bf7
GIT binary patch
literal 224
zcmWGe%qdAtiH~3Z&Q@c#DT8e6<t1xuU(8wF%D!v%6-QG;c@8agQBVDpPgAnBeCup)
zO%(p$&~G;3-DT@ZQ<u&D&GYi@#Q5vF8&+7Wi2AtKYQN9w65gaI-TC*~hJ){Gbyx%a
z)1v%La~SuCJyuJY`{R$FinSo)&*<D^A%+ZGaUDx|C4KgZ-IPA>{GvI8iSt@3+wV2=
zgAKN8G4&chf247wKB2s1$?xtpJ$AZ3E*@@`dYCM{&sZ$}&?}xD*IT`wzhFD_wRw8y
imnL2Q1yfIcTVkup{HMN}GkNvd0u7a8e!1H%t^)vR+-OAr
literal 0
HcmV?d00001
diff --git a/pubring.gpg.enc b/pubring.gpg.enc
new file mode 100644
index 0000000000000000000000000000000000000000..b01894ee4011821aae3eddeedaa4aabe129675fa
GIT binary patch
literal 1232
zcmWGe%qdAtiI0y8Ud_z%;Z@uOwyj%~a$WzXFi7m<TXTe$o#XVZHF-ZbIZwKvW7Fm(
z<9zht?hoz_kF`QwZ99H^W#9M1{JHrh=HKUb%5n6T-(A~m9Jp+O)2;Q=4L)5AJ=1%X
zUMJ3C;7-o@>T)q->F3@~)<1l&tzA<?`Sm_E<UiIc{Hi7WEo-JhLhdSOZ5d@3;|01L
zUlz(La;U~zGez`mDB0J?pK5v2$*{0+X3>M_1x^2i91Zt#$?m;*wxB(t`V;dyO+7&^
zwIlv_Sy^Z4#7{Ugd&RDWyYJj%@LkNItMG7--ls*&zP<~%`?LP@UFOyz%g0rz^3xjv
z6(uh*_ZmvRJe5!{bv#(K**{ClBlGlG)(N)!{W%9j)A!6{onmG5&9`?ir|n!dvGVIX
zPfFUeD)GE1QJ9xvH9g3f<Av?cy-qt%tnPB0kZw7-F7)iPQk(eKu{S0ueLK(RR(NC1
z4eeTwqL<ap*ISKh&wsyr^lH`KSJ&sx_)!~QZ!5DY-5|<w)`BatoJa3mJt|cZ7AkS*
zpM%^dpNg6da>?PMA@|&toIbC)#osjcWV@30$5U_nK3`p^^K@o&s^-m(UyUkHEst*c
zzV{Rdr)*t*o%PE1TIQ}@$FGJwI{E6op2V(SOLKWFj?eIJIQ!t`!bfvo9ebwq`&Fx-
zm+c?^?`xAy<nK?voD}*yQ9HBb$(p4cJY9W;O7lY>Rq<wNx=omy#><v#p%^ca7blR|
z^6-oN>J;%hv(uAT@2NYnW80^BH4M)MXZ9ZcVcM%Be?-gBjbDMM`>JWo*}EU?c7*O;
zyuhcL<Er_?Ba{8i<Lz(GeE6h4Ym(f@vP_R)b{9_W4=dc*s|#KCCAM00^(35ZJ0v#O
zZergmv&b|dncGWmYdTEb8LqFbP<7a_{hQwF`1(t4e;qjznIp*(IDgXw!Bb(@iL*DQ
znElr_v{ZP-+;{5D)ANs?Bp-5~x#95l{h6&P7Ogubw&t@N|2_VDk9tzu1Jiw#Ur#Rm
zyM#A0A(oN*%Rjwul^s)#-j&mhp8qZ3NWkqAv9)Gau|MmcOwH3ey7qc<#!q(j1CFm>
z2pryE8~x*;tHQi%mpJb>XV2Mv##Z-U(AS7|-b+8t*tw>!U)rGjM^8*p|G8~OV`ZzV
z*1Gn2Io}E#GxsxX4-O4fwK+VS(^iG+dLQqEuL1lU<a}O~pN*a;Ae_afp;#oE;g^ul
zz#zHmo?^(tS(!3|uWwuatl!bf@^91HtwQl>eHo9It=N*WZTXEY0<xQD96qe)tEHUy
zX;P7<_OgJ$dz`-m8eE^VE%>h@sGVv&Rduo1BOa+8cMoivaP-cBhbwhiZ+zIN#Jzp(
zr|BNEkDr}=s=08nKH~zFS-W!n9=MvY>x^yrZ&7V7)ee?BuB@7?t(d2snrq^DK<?p{
z<r_s#d|7ci+tKukyD#%O=jF1u3nsYyUfGmVIkA0db&=<H!<mOd4Ckgzn<MgPis~$Z
zd-5J_zHc-SvR_*HuPd&P`L3H=e{4ct(8uFj*{4j3_^8<G)^>JB|5k;A!FzVy`T6(E
z9Qp4iZta|B-cDO+m@rR}+jM&1+%r+r{y98qlgPTi%iCd-xVn_(<~r-G3vTbUlXum#
zpVheW8Z(3R<chRoTb`skOwQOPcj@PM@AIKdR`E_bi_ZUhZP6C`sNf2_XOsH-mVJJU
E0bkHpxc~qF
literal 0
HcmV?d00001
diff --git a/secring.gpg.enc b/secring.gpg.enc
new file mode 100644
index 0000000000000000000000000000000000000000..5d1a7a8e028c27e4f81aaabb128b1fce862262bf
GIT binary patch
literal 2608
zcmWGe%qdAtiI2a&__}oYipkqHPTKg#yZ7hE%4uIjpS^p~nA|>jYOuXt{z8x6+I2_1
zoA&j(AKDbOxj*-#Df9a@*<Ct)@+mjHcb}Neb?C+ib91i9+Z9(2?GpK1S8=*S>s9I2
z71LT%_GMi=dgPhYB;F+)b019F6msOW@Y6FlT3oC&DstoZZ#l*nDz44o^EbiQYB_KJ
zBlE+Dp3ID|-sh%u)c7HfQN+Ki=g!wm+qLfWv8$Sgt1J#kMDWd#YWx{zRdM(1((PtJ
zhko0iJRR4*&h)<W(@Mb|%N-S)4KDp@kW@c7!R?mG=iASC-%N=*lJfse{EkIu<3DiB
zSFq#`cUp8Jhi?Jn(N}rN8+;YNCP*9$6Z4$9Zv8jzoP`gUhupcVbiFo0jj#9Bo88-P
zBu<t0I$|NSt<+rIc3Wi7ZNH8QbN;$DJkySud{)}u>5jjral1}=%g>DFs5|G+t<;{u
z^C)C_M1#!f1CBSQeu}#O*V607CX=Nex;k3X@$0nBKQdLV)!bO|bJpt`)#d-cv>)B&
z((}oCd-1alw$o(~nM)SxtljT)_=Nq^W!iU2n!lQ!Sg`1{kipU}W0vl4hs&k8P3v^8
zR8Hef|J@k<j{A{XZ>Qa{Kas*s(UEP>uNVAvm}V+>u1dFw)$G2>lD+HQL(MG=iVJs!
z9Xl`Bx&MvX;h8SiW(2)(n%3QaifQ=|Yn{}1{ft=GTbEBOHwn7G(NfK^-28Bh)cuuL
zUo2qw=DOlviqUr46<c*QKHqP9bLaPyy25uWY|YPku9>&AIPJ5_bEk(>b3}KpestL8
zhWJa*U7O<$ACRtHRH!F)^Xyf|#U0WqLAQ7h%{UXf+11ZaNbh#i#&hRx8*ej+ly8u~
zwjizOom60rL4l&d!pnc>?GlSoo4~eY_5XaYcSZG8lFbw9?kH_Cov_Jj`l|T%-%h++
zU={qLuf3r4#>Dxb_nC;!eE(+AjO?7P4_Z>Za(R+J|H*Rou-tZ9bYGBF|5vtMZ=|!D
z_{4TAZhToJbzX31_$|G;<#VK~zZ%Uj({K)LR(bB9!f3F0|FW&7-A^y%hTJ~9a>2nl
zC1qcq#)igq@|-!!%*v{K%y9CAAaTAwm-kF_Ne?TWc|cZ4_1*e@hbb*{!feeIcW-oG
z5bGS_F07mOv;0ClU+3f{zibi}&PKoA<h#9k-Pxu*?gT~0<J}6LM|Q9Ics7l9?Hq@F
z_dc;lyVUGc5u5j?I%n>6>ykTnB0oO+_*z^+;P~PLd0CrYZtK!{sWkuV422{5X9Uxh
z*fmtn6bh1@;w38mIBm+GY21fOMSed`N#~B)XLm*_%Dia(ve1l*HD7;8zPtP4(zPpw
z#)7}~=elUFIpu%#?VV{C8s7_tH_bT75R{>}RO;QYyKmm#U3RcHjGg14d&TQ0%eA|O
z=dC*9Ad${)W_oq{Uxou8RQyiV{oLi)`#+TR_m+=JX@C7<MdfEF#`|)f;$)tF>RW;G
z{*ISVy}y2+G`)<emq**ZY4@y|K1FgN-IH&szixMoUD<R%xF<j3we(`~U~iVyyl1a5
zomqb0e&^OEhE?yc)XB}vIL>(>{o%JK9a5h63*uI~WPJNA7hI~y(0=t%D*q4b)$I%S
zRuuh9JRiZYrOxhf@W>;!Rgu;gwp`uuN&LIA)se3GejfkN6g@lE{ASrR1L->HiVv+1
zFK$=f+m*hLL;30L$lH>(3I}X;RvnSvn;?>#(EME>D@JVV#MYmkd?8^hk=r@$TYWxn
z@y%9HpD}3FQ_rtw+#G!tuQpt+er`c??*4sebgwo%we@-vQm)T`bMO5v;!zvUq@T0?
z<6(9n^B`;BwDmJ(iq-@tRaulNDIfWno*lk=b^3DWH~0FL?kGlD>=l^F@X{dt_M$Yi
zNBWEgYWdfGJSz*|AQIl)eks%G^y!}}9&;8opX8F0k@pUtvb^%b=dN@%S@UIeJ_qOd
zc5=?TU!`=QE^q&5QQLZVwwf8cA2T=@F3oK@Gnr}P{x#Lr_gUIqY(*bshp$MPysDVH
zw){fD-fM~6cWy`v%GzHKYMEiP-Tlqx$Ym$P+(p-~6BFBX@!}57u%xB)R*H5q*4D({
zI5S&twYa6ElfnlnF7X*l6lRru2u+H4xJ>o;iTI0x$5rcP^JS7Jyjv@m-fw(u+IKJB
z#ZTp>Z4IKNJJiH~Ugn-(6Z%>5(Zpj}b_+Ke$4hQ|t2R;X;1i2prAZ3{ed@jP<M<A)
z-#Kf;!^KNZN*(I?pYxl~P$l7^(xx*%J7jY9dzt=on_pbW#kjn7Zqff^e~qPA`({-a
ze;4$<wBpU~FS1Wx)s`*Y&9C}XyId_r`8WUGrZri?(T@-P$XPLmY5v@2?JXI}OE&WE
zUc`9v=-&c6I}Ty{XD$M+9`lX<|4o~mP_XZD9otOitqnTS3w*xDtUiCqJ=`F>)9AW`
z`<m5<8vd&$9e8Ll@8iE|hs<2lC+A$Pl-+din|ndm4CRNJ0=tYZMSSD+OEK_T{j0sG
zWTUVAmLo}T*#zUZK6xEot|O@N^2%yY#b))>i5mAz)y>T3G_d7nJ?O8f)DAs$^WK6U
z&-6>TU6(zcQE;v;&R6<SyMexKUr2#0+piDYHoJ0usekWW@-Q#>lR&|zc`puJj6I&c
zr1{8)neRfk`^;+NSaz@C^~1CLE8E>)_e|U=bJ4NnSbVT=?bcfRPsf$+*EO7fTjttq
z&Gjf=?YiIkE%hz+RTc(U-X?j4e<@gVKP~X`9BapUv!7o~+{b&q^=Q_;l)~g~YxlW`
zzdB&goFK3>#pH2v)xSBnG;XbOQhxC2>*on#Wzp_FLG@8HxTi5q*v6*7ZB<}Wo^>Jm
z*SUgQo|9P4_3<Yz(pzp3EbwrR-ou`#urBtulNY^?xs$mxVeN;5Q~t7X{0?b)bHVPH
zzfh_d$48r04uvH-1?$(QRy|wJsLWGdRm`~R`Sr&USGOnK$`5T)Vcfm>+#HVN#@BMO
z7FW{lhPi&(srfpTv*qql{`#8Jw?!W>mUUa~z3h;B1D~LL-kcTkF*kUREaXaE9o~L(
zGH<nu-Lg97+v=yB?{x;+KZ%<eKk2zd^%M~&hCAQxrc95n=+l&S$mP}NoPDNZ7W1Z?
zD)#PMIr}_c3c9RKe_~alaPhQ=#;ZxMGi;?Qf`xZQeQ7Q5$>>`ZC1U6PNU3H^<;D3`
z+^w&Q<YvY!H*wARv{rTRtnFOZ&c<0KW>dH{HicMi$x_x1``R(>q~L4Ao9`!{72}v~
zaew86c~J|uIW9SLs+D`$DubWee<a+l7__>bUv+twky&xRgkONG-Ua3<zi&&v+@v75
zQcb{~`St3lN@pH^(eB+>rY>9BHfQD3K8~>E)2yDo{L_`X?1Q`E{f)}~ucB5NI4c}D
zuX-dS+4O|s^I6{C|0+l>{SowstA{%~_1x3mIU3ibnAV%wS^sj<u=}v}ar_SZV?u08
zBzk{NJl(+bau)N=RWdE=vtFk6Hf&8hCUs3$=9f-fN%M;M4mQKfPi_l-D}MO#{P!)T
z&zCN4uG@Tw!!&7E*6FUWmX;@T>+gEMH(eloN=o#*b>f<hl}nDgv^-naa?j(lWr-I6
D2ge(f
literal 0
HcmV?d00001
diff --git a/tlatools/build.gradle b/tlatools/build.gradle
index ce9afa0e8..a08e45519 100644
--- a/tlatools/build.gradle
+++ b/tlatools/build.gradle
@@ -3,8 +3,8 @@ apply plugin: 'eclipse'
apply plugin: 'maven'
project.version = '1.0.0-SNAPSHOT'
-project.group = 'de.tla'
-
+project.group = 'de.hhu.stups'
+project.archivesBaseName = 'tlatools'
repositories {
mavenCentral()
@@ -23,17 +23,81 @@ sourceSets {
resources{
srcDir 'src'
}
-
-
+
+
}
}
-task tlatools(dependsOn: build) << {
- copy {
- from('build/libs/')
- into('build/tlatools')
- include('tlatools-'+project.version+'.jar')
- rename('tlatools-(.+)', 'tlatools.jar')
- }
+if (project.hasProperty('ossrhUsername') && project.hasProperty('ossrhPassword')) {
+
+println "Configuring deployment for ${ project.name }"
+
+apply plugin: 'signing'
+
+task javadocJar(type: Jar) {
+ classifier = 'javadoc'
+ from javadoc
+}
+
+task sourcesJar(type: Jar) {
+ classifier = 'sources'
+ from sourceSets.main.allSource
+}
+
+artifacts {
+ archives javadocJar, sourcesJar
+}
+
+
+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+ Tools"
+ packaging 'jar'
+ // optionally artifactId can be defined here
+ description 'Modified version of the TLA+ tools for usage in ProB'
+ url 'https://github.com/hhu-stups/tlatools'
+
+ licenses {
+ license {
+ name 'MIT License'
+ url 'http://research.microsoft.com/en-us/um/people/lamport/tla/license.html'
+ }
+ }
+
+ scm {
+ connection 'scm:git:git://github.com/hhu-stups/tlatools.git'
+ developerConnection 'scm:git:git@github.com:hhu-stups/tlatools.git'
+ url 'https://github.com/hhu-stups/tlatools'
+ }
+
+
+ developers {
+ developer {
+ id 'bendisposto'
+ name 'Jens Bendisposto'
+ email 'jens@bendisposto.de'
+ }
+ }
+ }
+ }
+ }
+}
}
+}
--
GitLab