From e8c99a7d730274c5063df263395ae84c8e2e91c3 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Thu, 6 Aug 2015 18:47:36 +0200
Subject: [PATCH] build files
---
.gitignore | 1 +
.travis.yml | 15 +++++++++
build.gradle | 75 ++++++++++++++++++++++++++++++++++++++++++
gradle.properties.enc | 1 +
pubring.gpg.enc | Bin 0 -> 1232 bytes
secring.gpg.enc | Bin 0 -> 2608 bytes
6 files changed, 92 insertions(+)
create mode 100644 .travis.yml
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 d3f4238..fcd9476 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
/bin/
/src/org/eventb/internal/core/typecheck/TypeUnifier.java
SubParsers.patch
+local.*
diff --git a/.travis.yml b/.travis.yml
new file mode 100644
index 0000000..1760fbf
--- /dev/null
+++ b/.travis.yml
@@ -0,0 +1,15 @@
+language: java
+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
+sudo: false
+install: /bin/true
+script: gradle uploadArchives
+
+env:
+ global:
+ secure: qhGqw190PVbI70Vr4UVgnKfDS8YJTrVtkMMXCc/11kypTbu5dugheD1zNAYQQAzo8Fm4SrwAhvOhGF85M+FARrxBdJsuSrWPsTS94q65m/T/WCCmDsWyD8frwtmSBWgRP+lbTlunzXEDHB71Bu2+oi70yaGn2fnfr2mkyaUn4uUzsFa2ShleBCI48nV3nekbdriPQ8rhaou5lgxN3tjyK97hQXTCcs+T++15yLR3S08Duo5F4Tmpn6TpEyQaq9VuknKGVVJ/nuSKK3GQIiNzcKxCiuMAn698M/ALAGDdIrcd8lIELRyUQpIpqRiuBYFw3ZHWFXiid76GBXownOkdAfOwPrJLd4W9bNrTPFPWoSBv4+CtqhqDWzvm1DqR280Iso1pErlSyQmRfkD7ZPpOH5DnkXg6tKTQyNUECDQxCbnrV43YOJS3HUC3J7pUIv+7NGeAX3tLMNxEiYoswGeEurcfyshKKsCaZF+sQDsGjNX76EUxmL2o2pZTEYTXdBZ1Xg7FmzqatvAPn3GE+cU9rjV9HhNPY8W10LQLx0sHw+8PstQ/3t/rwV68YqCsTOXmIJCcdENMqZbcyiZ0NpNMElGUuWpJEcIQCzmTHdt/Fq48CHKOlVmJyTcKTuHsAJT09cSLxyG+WYK7pJk4VyvLKeht3CjMWm+31BkpjWPujfU=
diff --git a/build.gradle b/build.gradle
index c649977..b26fd7b 100644
--- a/build.gradle
+++ b/build.gradle
@@ -4,6 +4,10 @@ apply plugin: 'maven'
sourceCompatibility = '1.7'
+project.version = '3.2.0-SNAPSHOT'
+project.group = 'de.hhu.stups'
+project.archivesBaseName = 'rodin-eventb-ast'
+
sourceSets {
main {
java {
@@ -71,3 +75,74 @@ compileJava {
clean{
delete "src/org/eventb/internal/core/typecheck/TypeUnifier.java"
}
+
+if (project.hasProperty('ossrhUsername') && project.hasProperty('ossrhPassword')) {
+
+println "Configured upload task"
+
+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 'Rodin EventB AST'
+ packaging 'jar'
+ // optionally artifactId can be defined here
+ description 'The AST library extracted from the Rodin Platform.'
+ url 'https://github.com/hhu-stups/rodin-ast'
+
+ licenses {
+ license {
+ name 'Eclipse Public License, V 1.0'
+ url 'https://www.eclipse.org/legal/epl-v10.html'
+ }
+ }
+
+ scm {
+ connection 'scm:git:git://github.com/hhu-stups/rodin-ast.git'
+ developerConnection 'scm:git:git@github.com:hhu-stups/rodin-ast.git'
+ url 'https://github.com/hhu-stups/rodin-ast'
+ }
+
+
+ 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..2525ff8
--- /dev/null
+++ b/gradle.properties.enc
@@ -0,0 +1 @@
+Salted__# ���Z�䛾7������{j������;�j��SVGӇIzqs���9kx�y�-��2�TJ�9��m/�r���C�O�;<S+/_ 9�ȅ� �5 y���H�OӉ��&k�q�фS%�?>р��c�ƾl�w��� Ɵg�n����a/�^��> �����=�0aY]� ��q>ݘ�X��=�)Qy�+jc u��b1u�増�}"LE7C��za
�\ �
\ No newline at end of file
diff --git a/pubring.gpg.enc b/pubring.gpg.enc
new file mode 100644
index 0000000000000000000000000000000000000000..31f08086dfd40344ce16521f389f1c313fd43d2a
GIT binary patch
literal 1232
zcmWGe%qdAtiI4ASx%%x&YFCWXWAm-wk1Ef-!C$GRu5|YM+BlKUm%EJ~%G4BZxc`#D
z(pLN3i;`z{%8SyL`&+!4lX^gI!g_1I*$*sTU%ov2PWQl*H4aw=!dIKbU7b8vH6`@q
z<jmwN9;#EW$7w9<%w3k-{YG<b!<FnaPlFwoH(vBr^snWc)?cLHw=D0;()YWQ4^OoJ
zV4${>vy$)a;ia!uoSc!hI()({o(qKmCug5Ku(#@fJ-@1;LB<8?`87M=ca_GjURQVE
zf#Gg-sc%ntV`>?jcEmHj`+6muchQZD_t$L<>aS_r%xOFS_U7G6FQ+$D2KlAfUY$HE
z^?i>~;J(F;l6zLYZayE^%e0N7@y}D`<vEpx*}}VJ%N~7tp<}yN{=4U=XTjc?#?|s0
zT2)^eDitRS^c~wH_0r&?Ufc5&^9z%|n;!o0=87!O#ETC%h^F&Sdw22IDG^68xykDf
z_WVixx64d|bJNj3fgb6{)plH&m&`re-e}va4v~)S>_J>i>L$)Y2UA`#g}i=y`M_kO
z{ZsGVj1uRon;bgZE<2d5ZqgiX$4}~v4o7#|KHT{z{#|O=a{jNa-}|=ozTm$2#_#yC
zfXYL*1)c&2A1N8G<}Pfq&q@ASlAhtjb~9?tJ0}@A-ftW!|Lfn^#w_;DJ$NH0fah$Y
zrNG+BtK#zRNj;o(n0v~r+!PJh$mN_DPisz1e|7t%UPXnF1$&HneNxffDO!bM9S-}i
zz4n{&OiR%Ca}CE|d(-$^tL@LoPxlmvG`G<zRSG&2F=5}Vc*Xs<eak%`i^K<RUG+@X
zxbN-jXTM#T@@JlQU3fX$Yq#g_Q#p6Cdc*`gukgIt;a>mdILCuYEQX<i2bcCXxTJc1
zy7ElncI(tu1}>GYU571I{{3ys*!g3v&*@t+>{{RKGdq)NeIgtl2fur^r1kz~D+T2Z
z2fi45`m^2sUtqG|-Rz6U{+}yf_V}sDA@++d?@PtI{x_Fj;)=VfB&58uV(ybk7M!UL
z&-Mw}9&3~N;9J6*f0N53_D4d(JdHgfBHts`Z69qGur_&TnXUBeoVQG>@CHt=o7VRK
zr6SZUi)}<E^*q)v>FK!=5odGk1B=7Ki>D9d-`^6hp%LL{@uIiYeW#yR<W;wqp6z*e
zn>p@kcD!;cD!IJQq2%neZL?Un)H`G-aIf|F&>*e#^z_b#HyQ3~v9ChH=d^4(%_-NF
z*SJpg{@2g%LK)_SJnwcr6*%LDp(}#{|GA@|Zu9(W;%;%?aNB$HvVfWU`wk!9btwBQ
z_v`n`1slHqu<5*VA-4YVuZe$Z(@slea<O0B<?znGHQD;|G|_vXx#BiVz4GSUqLWXj
z?&tLJ)6`!dX#L>xTZwH4-nHlR9g^lc*gI#E5Ys8uEsb#xMJ66wRb#F#y0AFwt6kvj
z+1owlERPJ}_|USiKybPV%a`-h+8u<x-rA?M;N6Zlfj8~+So#VzBlI0!bY8sO!u05y
z@uHq-!d10;zakH3g^BKU%sG_M_OzlTQs02XG393cV=rO#8)rKgAD)<TFyLrMN4#+N
zd&N|xG9ULsXUlyIZ~s-9U3GO>u>ah_cN{XaAAPKQ`pW63XjSDY7n8~6S6trd=j$5j
zMV?F#Pkh%L<!Nua$7AA+d?6i2;{#Lj&T#D8uj<gy&857_XQ#%d_1Cs7;5~1D$+EAh
F6##O@XLA4m
literal 0
HcmV?d00001
diff --git a/secring.gpg.enc b/secring.gpg.enc
new file mode 100644
index 0000000000000000000000000000000000000000..6c587abf9a8395804e5b573fd6fcf331870e333c
GIT binary patch
literal 2608
zcmWGe%qdAtiH~2?7INrgroZZDk4|-NM}?ht;zh+SKR6iP-6k9OcLvY9eQIxA_g|i9
zn=G(iYUM^*6RrMwFV^a-JVDnC_CCIx+%n7YxyrQimBEd?_YQ`go#foG?CA9eCL53P
z{q;0gU$Ns?rMBig{yN!7>>p}BX|UH{JF_|eT7&C~gPQ-psQ&Zg?`O9Cq#OR@c+=r}
zMX{SvUWfOYSX!@oFh}md@@rSL6;{Y~iEHkxVCcU5^-fdk>}_wV!V^C2y6rOK+oEk*
zW%-YfK5F~+`*noEEUq;LDzWxQpBoETv+Bz7?L75%-$HvGUwiMEu6eE>cpW_UtCn0^
zz3;}?XnEE>?60o31QyApeU6NYRqVXB<&4F_&L5}b4y)%~eI#LiW-Xuj_bX1b*&f_2
zR2QBh*LiO1%RYTW+avQX7+B}sx?A9I?fZUl>2}c+52N*!&UTrGGFs}}%<uD6-PpNd
zeJ0=Sl_7@D1O46fp5A-t6QHd+|62b?f3CRC)3?S3&C@6`*I}5Lame+>hSg7&y_k7h
zeebc%O*to0GwRRU*lCDFPMpK1_{-d;<KYkUjVy0goVlbSE8ko5U&E%K=SWg&(fyTO
zh4y={$0zGqX&<mObG;YOlC3UY#&zhJG51oLpv|UV%r>;{6zJA>Zd?C^U8H7rOw%lr
zdeMu!`FxgK?Gw#eTWZa@E_=fM`aQpGqNBH+ndx7>u*>)Ll~2CfWeT=iW1K}Y+68~~
zd2Km6w{Npj<-&Na=i9gRP4f&~w<<9sH&WxgN(xU;!~E<=lif6SUwOu`a_UnH@9)na
zevo<pIjUWL!^3%pZU~32`)IW+yfW?<zvR`|4M+a`xL})=T6O(Ze68EE%;SF*G~WDM
zr?^<5P~+pRbDm;{!`r_tEA!H^%<_MGSm||ML8lMrMdd4JK3_O`_u(I<8P~FSuRJne
z#}jRHe$Ah3x5^`>Vhp-dZBibcIdEQJt9VJ+8NL+@zs^{&lFKjcUL{xFky|l>Nijz!
z3RnMsJ!k&M+e_v)epGK=9UPq_%~NvfoaWt{R{{@aHn<z{ar0K+{?NKX|Ioa<A+1}v
z1iW5wZt|b-{Bw;(=PS{Y{7B)`y`Ha)Ugaw)mkB!N#s2>;VLV@OO2@>*Gd|Q^JvU7$
zwA9S)hq&UivLC%VQL?l8c;9*p=Gbii!>Zw&QX6FYDR{Za=?9X%-7!1GE;8=8qZQ}B
z;`A>^LF-GqE-;ranC_;2O7+G3MAc(^UYJ@ebei}hZ_{GtkNb*zt0QKXp4W;zEtF~{
zy|vErP=wh;x5bQ8vt+t=OPmsL4V690v-Ql3jmK1USDSyF@%!m@`?C&DtaVEMFKeFN
z!Syfte(Cd)!knE752wwn%q`gHz1CKq@9(SoPh3;OKZ_pyHQP$_Sa_+c5woXHspj6}
z?5Y`(-81LzJj=3Slh5~imzVy$JbBJnb*A&IXIIuQ-s#u)=cMD3d$O0WI|(MZFUgr)
zleeYq`R{(!#f9+;_V$)v<>p8!=-{yakY#P7wbFe@@y621_WZC#CpjlCo_g>0gDSs|
z8`W2Kp1L{F_39sq=M7r*7T?cre$!~M$nxG~b2;_CK8NXUxfM6=OZO^!6|FEj{6POg
zyQ7}hk#q|uA%hN^TY)zVZQ2+Ys9hB(cx@fzu}|lEQtgW$@&EP+S)ONq_}#0iQz?LZ
ztG4~-&mDR>;`1lyx9oFCI%adOuV8xwtB#SCXyTMkj#fv_d0mlzcGg_I$}2o6Qaz=s
zxow`|QkS@FrFB;;pP$(Op<#hVCC41Sn;%5fGF6hVGKC*DX;LXnsLx+ww7W|z#<%l^
z*_W4lJN_>b+}c<gmCSNhddaQGMLUF?^lL>D1D{E}K48w<^g?&KXXZ7&Wp|a1o!D*d
zw`RdftHo@LhC5zt`}uI0;2gD5<*O{6r>#$?CNnL}ojfzCYN5dW1jUuf>sPMXa3aw$
zK9*yNf>M0B_~rG-w(I}y-`4K-W{coX1CQf#wPrlDbFt@G%-S;HNb3KhtxfEQoA+G(
z`ao=7S!D3~q^7^?wF>3u{_%3N51FLM^noo&xZURF(^(N)H+_`Ld!(;&^pXDMRF<S|
zYo^#&|GeRwyhrDsS=XXzfdRGNvzAEyP3OD2vu%!`ncv>ql5V!CZZflsju=)gv<Y+k
z-h1WLT<)aS-A}?+aU8s3YhSZv`J3Y`e{=u3#Hwaa%?Qz4@XTVT&8KVWmlqWA9_{(b
z{Yg!ct<IiL{!P5D?c6iRjit48Cjakeoxe!_rB?bI=Z?bp5&^nx?<PBV20iL)TDLV%
zHuY)ylI;Nx7fR~MT;u<&646lbe%-?}pNiN66I`Z8lz7~jtedin?|4hib#ax0woK|*
z{)E(?n=nC8VgH&ki^e6AvzlM5KVjR%wfuhnjHmnh#V0KGE#JN1hT;BQQzFgzKgs@m
zGuI)ucy`4EjwOo?zKFd#snGLYae3py)6GoAmN8uC!nWRbI=gAIh_&l^L+i>nzg1a(
zaz-5aecv%vfW5Y-`s=gDb}#p6@x^{CV0p@V$T8r2@0q!3vnQ?RasIIG{D$~xTMgNN
zuPVKDRAqI=oZ7AHcW(S&9<2Xlx`^s-)+ECztHh!o)s>03@~-6TFqbgZ^hy(2_)2iI
z$=4^VE(Whl_^-+)Bp5CA)yd=WoU0sNR$5DZr8VaT)R``u^0@jj@B2x%jGvA@+`*vw
zb+S`I=d+NwJI>kt?*H<3v+?}pPQA(ab4ts@KVJo>Om#e#cZ$26EvSy^`1I>b75=8x
ztg<Zai%QS<C{a+<u)28u>MbAqW1rP7O@Ag)FLWo^<6Q2ksE(@O)>&6;SA7+JRwXPr
zk@b#E4cChtmwTI(I)5%G+v6Tn_OT`?;ronNM%5foH@GS-KXZY-Z`Z}!({^0nziPIt
z`uWJjHB$Goe=1FLeD*wSv4xZ3_Mg6d4_>F4ybIx!4XO}I-Ri9^UU4z!)a}S0nvQ;g
zlIKDn&A759cfotc-4DMX@TmUf?7H8X;f=A&Ztow75zCVGZt{89|1%L<RNXN5^CI=v
z0oQLC`}~~WsFtC|yKu8kR$IUu!;IdI|DNxQ{b<R%`$DN|8b`C1s&~^%j;M2SCgNf*
zB9l7{+|^(7Kk4LlpZA72_Sw1PdQJ)#dkSA0O!~6B%j47audkklA6zG(bY6Frs5<jq
z;g8Fn395C!dDhJ)Bf@QEz+m-b^^yfqNf`n>>9Nd8GQrE9<%G;?diB<J>xqJY9E-&g
zSG(QIT;k*~Bm11c--2w1Fm;RSfY{ZCiz+`Y<S|KJaBRcfS(`o<MDy-r(4FSpdcUao
zBWKa318(X^^8=)QB<XCZIeR4Q=~u7kM{0^To=Y^dulT)JAl^&m+ZQ{z_@*YVBX`>h
zY#gm!?g#Fxe0U-`<Hp(NKQ~!QFmxL+6>yx`vgp2qw~5j+!{<G{Rmyjcx}ExKEzrAu
znTo>Avmf4Gn%<#lvM1Ddr{RkWt-far%Z$w41gm5%usBzIr@F~QV%p8X+lTocsGmD}
ywD_U6e0FGrt7!1`o39USop6U!PxtBjdg+-QnMrZK<b=YkGbZdSwlFTxbOQjZ7z2X<
literal 0
HcmV?d00001
--
GitLab