From f7f97294e20c9aa9df5f53307e38d97027a0d54c Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Tue, 18 Aug 2015 17:30:13 +0200
Subject: [PATCH] deployment
---
.gitignore | 1 +
.travis.yml | 18 +++++++-
build.gradle | 94 ++++++++++++++++++++++++++++++++++++------
gradle.properties.enc | 4 ++
pubring.gpg.enc | Bin 0 -> 1232 bytes
secring.gpg.enc | Bin 0 -> 2608 bytes
6 files changed, 104 insertions(+), 13 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 b0c9895..ab8a42f 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,3 +1,19 @@
language: java
+script: gradle tlc4b 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
-script: gradle tlc4b
+after_success: find build/tlc4b/TLC4B.jar -type f -exec
+ curl -u $FTP_USER:$FTP_PASS --ftp-create-dirs -T {} ftp://cobra.cs.uni-duesseldorf.de/upload/{}
+ \;
+
+env:
+ global:
+ - secure: EnIo0zaQsHATGH8S5L1W0EHtqgV2kx6bfSgxyhz7XU+xw5y2JLDn+Y3ZaX7EcMK25RkgM8nld5Se72QmpienkP7tQlb5KHdwC10KgwbHDq+IP9q+ZMD2V1MsMRdTilW/eTZ0SUohlV5g4t3KqIe8l3Hs1dzNL0YmCMtXwYHdfwk=
+ - secure: bmYNI5HVzwZWjd9FIPc7XDwgwXnvFbZDLNBksMk/pLTuSeu14ke0pvo4L9krJXAeQAIYzWXnanUPMBS2TQEM+p4pVVDZ0RAT4f4PEWjAIIGnWTZc6fzTfUixUcFKDlV0iXFKLKkJTYLNcsi7WL0Bn1//c8kxZ4bnfZD8Y3I1vjo=
+ - secure: gVRyw9BQ/ZYBZ7sV8b16jva8ofkJ457bjpVtarGhn3gSzKbPo2J/gJ3AKTuOeodBBibAhun/x6IciqDuC14wf/sZrS8VUGDC7uYxKO04s2LOPjlen7yn9dJL16PpM2rzhrMna4GA5p7lXIoAVMZ7fGXp1uDdg/0Pg6kS6L05NDw=
diff --git a/build.gradle b/build.gradle
index a6b2311..779ffa4 100644
--- a/build.gradle
+++ b/build.gradle
@@ -20,30 +20,30 @@ repositories {
}
configurations { // configuration that holds jars to copy into lib
- releaseJars
+ releaseJars
}
-
+
configurations.all {
resolutionStrategy.cacheChangingModulesFor 0, 'seconds'
}
-
+
def parser_version = '2.5.0-SNAPSHOT'
dependencies {
//compile (group: 'com.microsoft', name: 'tla2tools', version: '1.4.6')
- compile (group: 'de.tla', name: 'tlatools', version: '1.0.0-SNAPSHOT', changing: true)
-
+ 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.11')
- testCompile (group: 'de.prob', name: 'tla2bAST', version: '1.0.5-SNAPSHOT')
+ testCompile (group: 'de.prob', name: 'tla2bAST', version: '1.0.5')
- releaseJars (group: 'de.tla', name: 'tlatools', version: '1.0.0-SNAPSHOT')
+ releaseJars (group: 'de.hhu.stups', name: 'tlatools', version: '1.0.0')
releaseJars (group: 'de.hhu.stups', name: 'prologlib', version: parser_version)
releaseJars (group: 'de.hhu.stups', name: 'parserbase', version: parser_version)
releaseJars (group: 'de.hhu.stups', name: 'bparser', version: parser_version)
@@ -64,7 +64,7 @@ jacocoTestReport {
}
-test {
+test {
exclude('de/tlc4b/tlc/integration/probprivate')
exclude('testing')
//exclude('de/tlc4b/tlc/integration')
@@ -75,7 +75,7 @@ task integrationTests(type: Test){
doFirst{ println("Running integration tests") }
scanForTestClasses = true
//include('de/tlc4b/tlc/integration/probprivate/**')
- include('de/tlc4b/**')
+ include('de/tlc4b/**')
}
// type 'gradle integrationTests jacocoIntegrationTestReport' in order to run the jacoco code coverage analysis
@@ -109,12 +109,82 @@ 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
}
+
+if (project.hasProperty('ossrhUsername') && project.hasProperty('ossrhPassword')) {
+
+apply plugin: 'signing'
+
+signing {
+ sign configurations.archives
+}
+
+
+task javadocJar(type: Jar) {
+ classifier = 'javadoc'
+ from javadoc
+}
+
+task sourcesJar(type: Jar) {
+ classifier = 'sources'
+ from sourceSets.main.allSource
+}
+
+artifacts {
+ archives javadocJar, sourcesJar
+}
+
+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 'TLC integration into ProB'
+ packaging 'jar'
+ // optionally artifactId can be defined here
+ description "Use the TLC model checker within ProB."
+ url 'https://github.com/hhu-stups/tlc4b'
+
+ licenses {
+ license {
+ name 'Eclipse Public License, Version 2.1'
+ url 'https://www.eclipse.org/legal/epl-v10.html'
+ }
+ }
+
+ scm {
+ connection 'scm:git:git://github.com/hhu-stups/tlc4b.git'
+ developerConnection 'scm:git:git@github.com:hhu-stups/tlc4b.git'
+ url 'https://github.com/bendisposto/hhu-stups/tlc4b'
+ }
+
+
+ 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 0000000..5cdf050
--- /dev/null
+++ b/gradle.properties.enc
@@ -0,0 +1,4 @@
+Salted__ݐ�
+'�\�"۬��u
��.U�xF;F�bO}>*&S�ؠf�ߝ��{RenU���n��s8y�a�� 1/�X;�� ��ԏ�:?��JO��~�dBG,;���-݄2XW��FFfp;����8r6�O����Z����qN]�����0�x��Bl�P��6Ч�Y��j����{
+�n(�m$� .��,K
+����a����6؇�� 7���!�E�
\ No newline at end of file
diff --git a/pubring.gpg.enc b/pubring.gpg.enc
new file mode 100644
index 0000000000000000000000000000000000000000..06bc9ccbe75197099d89fd6ad6acdefcb7bb251a
GIT binary patch
literal 1232
zcmWGe%qdAtiI4yLYCUIL<2wVT@3sB95o&+hgne!lSbaFVX}9Dz_ZziMeL_oncJsZc
zV^P)bQG2(DS8aC4!k9z9A0404vZ7U7K}b=ian;;c?Q!br%x}*#n14u|mpUu|p*e>=
z%kE{70-Jny&YmS>eL5(oySOgrlcOrnyZmZHquC82y0y=~ybHK>IXc_0CGu(i+TU%v
znuP`4uGl8;{_3myNvDY7_FaC;O={O|El<aDbR1AUZSYCeXrjxtv&tJY%$LmLa|w>0
z|8DZHLXVwy*^Ld;-sX#W#2)Nm)%@#Wyysp9i%&5>1H*q|i<hc0!kNO$W?6UH-!kCa
zEBEf~jg^LvZYl>?+kZc|&s(rK`)7Tf$2wl8LYLQq6Xw>jNI6*C;!evbpLzGosiv5W
z9coI)?KsrFv;GMC_+c8KgHB^#@SXaVFS-&BRvucv|NgrR|MoGzGN=g4ln8wnFpt%H
z&fi~)=0=4&ZZh4f?6vA`y#1r?401nQi#j{Dt*XqNl9emTH&?=Tx9}#Bi;QMAMYsKD
z&th_(bnEPS@9FP0evIlBy^z_cnetLGnLlE$p{s1ZQRRtN_djKK<W7ZMGc&#T#E?6P
zx%s-xj_-lN)~R{|3b`Db>JnXoo9C4(KkW82OZM>dOWs(zPAG#*ZKk@^ftmCDv-lrt
zED{UzPr5pZ{pvgY1OHYEJpDXLvpJ>cgGzJ8oVJT`$G1#AB0azKxK)p%d|LhCf9$u4
zg`AElM!!q7nzjGzclN_aua!t|nfT;X&(e&vN0An99FsT%lhhtKPqJ=UHN))gp>=Gv
z1`j8l*mAitr9XP@EH~ZqgYS%Q>c0M2Ay8y;a--$Ooj1HE%Xpu#>ibq&z44Pni^C(?
z8HLMAoFe@#t(rajrkb966T<hXQs}I=dAx4Qy@l^0WKY^oZMcy0?)`-Cp&grAFDT|P
z++4izzVhE6n^w(OwoSXOo`35@8TMxjYJ_wDZrE|{j1oIXYD^x--2D*?=X7K&WWJM{
z)>!r3P;1uHY5AJWXDi$u<OHfr-@M|}>J#&N&mKx?;EcTV=fq2m^UwVf_em@~`62C%
zLoDOcb_aJh75z0A^bL2eFY8>+k(1q^m}D=RF!hw!kNfvS-qrlQd*bcKHDONsy`~;H
z)E;#HvCNmfn}kEI2Sj`Q@Y;0KN&MT=E1$QDRhnE~ApJ{klEIM+%fFnQy1n7QYVffW
zaa%gfZ~e&sBrGj;?^9IkyP_}YNny-?Cd}6gdLo^>Y{?48dIs+K+xEz69SsjNKKA8M
z>y!n5uds=+$s}yfeKY&anX~C{*{4rn@^6`U&)xS{+133Qrapb=(h(=wvNdh(tHfDs
zQ;ydhe_B^|PCRAbuN~T}xNB~omCY?>GE4OJ+akJJJ9gUQJExz247|$hDZOut)3@c3
z%h;+n?{Yf$az$MJk<CVxOiUA&&MMy+{#^fKSZEBFhMd65gN_|Jmwzl=nmbclRq=6O
zouBZh@VCW(8vcFh_%(kv>weW;u`Gs6kE~t>KYnrQh}{2#Lr+g6ZfBab^=LxUtQ+Ps
zH_RNHC;buLkZpd1g<Hns^QB4G_bdv2{p+2wIoG0l?HkTG&*9kh>qU>sMF#zihHDHh
zqUF9GK04)DaM-jsFB7SqA%Ffa-?8v<c<BFn0nIgP3O{H57kl*T)7O2rX9Z6M2i^&m
HUC0Ii|4C+g
literal 0
HcmV?d00001
diff --git a/secring.gpg.enc b/secring.gpg.enc
new file mode 100644
index 0000000000000000000000000000000000000000..388a462e3456cf708c557fa5136bbd43e59596ce
GIT binary patch
literal 2608
zcmWGe%qdAtiH~>t5p`2@?Uao5%ipk8@-j>AJ#y;v<ET3;kG}7(6#HHfz4nD`P3aAD
zX<5OBlJ%c2-z_-5K;c>Q|GHBuFYQXFX2$ugXqhoJ$W14kCGf>U&*-_qg<C%@w|J@L
ze^NR0j(zwJN9&q{FU614K1tUW$YQOLSRHfB;C{f@*qW7m8}DVW;FM*Te!8N{@qYi5
zshW~ZGejRAw>h!!&b7`)5&I9nmGsljJnNUsy)ErneQx)p%SV=PwiQXeEc@)SwT@sr
zb8%zl;}<fM6a2T<Jlx?iF(;?jNhw(9R3U58ymbqY{hoAfJ1_Tf<ri1VnPav8J=_?d
zb0z!oNp9(=X%XDFP5y_pIj)TjPpCByR9v$@VeTCn<{g^9lQy<rlRw+vUjOYH&yOox
zKUzC4<c(yinvyN1Z@BzU=@#SQspjXm|Jpt&kgs9etAAl-X1`2>>JG{6l#7<I6kD|O
z<Y~4mNlkpwUhMC56$J0?d@Fc+%7e+46HT+{RO-D={`h}M_{M@6n<uco+jx4L+Dwrv
zv-c%geNQNsWfI{L`t;Ub%y+ieCBu{#Oxr3>iOD(_h5w#%S2jm))g{*j?LwRWFL7dU
z|NXtCvB<P>`J#=@b5s+)UA>*Xda~=zn?V;|o<2GuJ>L4f{%(!5Uvr+aJPu%+6x+8}
z^TZwh)XJL^KS<7L{B621&3>-cR}pEI(@Cag?$aHmKTkL}@A=Hzb0(-fko>*i^3TU7
zzbO5V=#z}Oer+zx;)6%;Ynp#;4Cv_B{ot?gcF`8|Ewu%I?WZ&DXYyq;>+Gy!{v;ai
z$hD^L)@8MxV8tE#x9MvH1kK<&Ijed0M%@FMZ%(~V4b7eZ`1mxxZLb;+2xWc0{+~PL
zzro4>7lbYqY*XLX(#OTbyGw$%>0Iua`%Zo5J7+X&Sj}6p^@DEHc>{eR&2Q(bH**SY
zlfCaDn%rl!DE@wz>vZ<FhRU3J8jC`?`7HKom$u(hn&v3JsLtw0w2}OJma;#O-ql8)
zdbQ{+hy8WS+BNEz+1=M%2z?V{T-tMU(X*VLW;w6E=CrQ++wO3n>(Q3V-`h$Q=bQY=
z(%Q)My6Q*wA5O8|=28pm?j5+dq2lKCPoc*gQtP+!6bi;YtXJC`q`cZ-T`7;K{F(Xc
zmxXQDzuI}_px{0J)ibU|sT_N#__e2^id)V)kNbGcDxN=^KJU;ml=n?J-W+!Lj^cU2
z?Oo1^&sW>7^kvsS7?@z!JbiK6L<SjasZEy0UxdkTzA(XRaz^7!4&F>f!-5H(J#RML
zcUwGDHX!=Qq>X|8GKty+ty8*~ITu8p;}vc1U7jhky>rdN0~>$K3qKC{X<)6tT0bP)
zBiQSKy|4Ox6N~7h$BHbhDlPxdKA!(8qg*<ixuMk2r$F|&TJ@IKJS$9mTMjtZ_N+`}
zwpl2*Md=HB<D0|&%(ZEHG0|ll7v^u%4&q=67o6O*P}cTbm)Dg2;`5|!#COSSP1@_r
z7{ImEVArDO32pCR9JY>m)KIka$ib^8?N0E9EqQqT`RsjLAO8r=`KalyDjK(HzOvC<
z&3R`dS6+*>STo^>&EF#)O7r&rpR;A*W}_05h}}mk64{McwJ+Ckb+4S&Hb=4P`D8<f
zqUmQZnaX`WzN75iDZ%m+D;pK91b6Ma+7S`4A;jmvr1}^8H(vSQd*{xkzl$bZX6k>r
zTJp*co2t$e>$e0xSZdbwMI)eC=Sn75<L~9|3AeIZ)kO}w8=Pm;`D~DQKgP*HCHS)I
z{oP4tUOia!al@763wKSKX7T%3uF$d9qGmk)KQ^k@Zkra6@n+j!|8vrM>#WzQq*P9*
zXg|D+_kY0gb(<CM{XB8<kQ3+477s2fd7+4sL`|*RF1ix7f8V=pdBSnG|HU~@%iDLn
zg{|W6M@JN_;hZIVTxZ^KkK<Y2`8`*BdGz7)T8Eo?vBwv%q$+U8aGlLvJ&Vok$mPSQ
zG+x~fzBR??wRY&K;|=bvTpb+0xP*_q-52G&@`=XJ%H%9B3)>BQWwK>1Z>W1Gx7l~G
zQmsO;?4^Lx{B4Jt7ijw5Hj?-@!=gd_Wn-?S2LGHVqNh%uOxf$+nCtLrRyWI(Wp57$
zXY8Kwy6Dq~(mAh%RDVlW8~d1f*j2MUZC>_Hy<VnXS!>mi`40CAqAIzP`r@8-R=NpA
z{!+Mlh;x0l?aUR{Q~rm<uH7!TX_wm+y+ePpe(tGKD)Pu{p5(n@7N56<e)nH?zpBFt
zksB`U$axXtanC;cP?uO{<8t9y8@{;({_JG>BzVqk^EH8bL%vH-)>SWJOTB62>pY$7
z;Lc>P{G$sNozBo|eBGXO_3F&NiPP`yczAus=^d<jm!EFZcb)W0&|%VVmtPkP%ctn&
zy-H~7yE0?aoI_W*&Hol1trTdRml;r*eRp~HhC@2KkF|q4@6NI^U~70@wLGWp(W#^_
zZqD<b{5S4#S$Z__=LE~1ZTt3wgw3<MoO{=qi7O#}$>Y^3u8}UsBT758vb$HO=jT1~
z@m#AS5_2XpMN`$~%9ITGlx44#f_DoZ5IyVbxM^j8=ThE9H+F5mbG3V6%mxdNhw>M~
z?-y;}@P2XK{s+hAnFMH5-OgWeK`7-7SJB@h_o{~}Yql!9s*c~wdacA&MgOs7#V)nW
z$1}sPTiw&oW+>e#y3d-Qk<~Qx>B^h?W?gfA6XK+Ha%oiS2e#$+cC#P3t@bT&&J~+&
zm*!i2U3jLgtMH`AwL2P~d7pjGiqD^WcBX2K<pFNxU7u(DoXH!hbY#<pTTaDH{Yy-%
z7lhOm$y_kV4En5fGuC|VuhYjO*bR#-O=Ao+t!M76F_FsdV9nmWT}bNa=M&w9ZutdA
zl@HAQ^jpWi!kcleezy9lCt`az4|{b++24O`eQ4FH{Cb^(Z7zSyueKR<Fk7E&{*b0P
zZ?$EcSLL1E>?fprTn%rOx9c7M&%9Od)DmTVpYVpS#}^B%4W03*aD&#A!~3>AX;MA#
zJ80>VQ-3<%6euV>c-wtzovr^zle}=Dk}nnwD?eANu+Okl5)_L)lQi3O?T_|03ClQJ
z6YngCZHKuvKH5jVQoV7q=jOqf7ar;pYG!%eufBKgX|-Ib_Ob>&!3Ao!YW^sft0Y^0
zi)GRKx;oV4%0u(F|32hSe_T+fo2a52m|jt0?Z~}oL#j=I#AMcoyO*clZ2v9)X-$Lr
z8C9nTjf=_(+MGS!JUhnw&^q^s<DD0i*Qft7`drG%JCo7w27h{RrR<&zl{J+y@1CDq
zwD8DE2kn2;*UBEvw0B-LRo48K?fUH!SImUAD6<^vtLoo#^FUHYavo>mgo_#y+x|E|
zs+L_`z1!vR!j+A>M<z^S%rfH*a*7i9emJG=@7C%AT$gl{4~1~B9d%}Z9NJ(zN6F&I
ziIX;_CJu)xO^>#B{5Re3v}{k(%()KpKIkOthj~sA6_q*7=4SZm(5=5g(gzQFxLiu!
z|Gqn!EjYSMV!vXzleUw6%l)jDfC<5J7u6MNzi!xJ!9Am(az@y@3FWh6r{!@>G`{OD
znqci<lKJ6FADegYde`X}ssonJ+_^vUt$3Y7@5kH!!v5V2ko;g&5z{tNuA6B=2mm}3
B3!4A{
literal 0
HcmV?d00001
--
GitLab