forked from arenn/java-getopt
-
Notifications
You must be signed in to change notification settings - Fork 1
/
README-typetools.txt
53 lines (35 loc) · 2.72 KB
/
README-typetools.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
This is a version of java-getopt that is annotated with type annotations for the Checker Framework.
To build this project
---------------------
```
make
```
This creates file
`java-getopt-VERSION.jar`
which contains .class files, sources, and API documentation.
To update to a newer version of the upstream library
----------------------------------------------------
In the upstream repository, find the commit corresponding to a public release.
Pull in that commit:
git pull https://github.com/arenn/java-getopt <commitid>
Update the PACKAGE environment variable below.
Use the latest Checker Framework version by changing `pom.xml`.
To upload to Maven Central
--------------------------
This must be done on a CSE machine, which has access to the necessary passwords.
# Update the version number in Makefile, cfMavenCentral.xml, and this file.
PACKAGE=java-getopt-1.0.14.0.1
make
# .md5 and .sha1 files don't get uploaded for uploads after the first one,
# if you use the same file. So copy the file.
\cp -f ${PACKAGE}.jar ${PACKAGE}-sources.jar
\cp -f ${PACKAGE}.jar ${PACKAGE}-javadoc.jar
## This does not seem to work for me:
# -Dhomedir=/projects/swlab1/checker-framework/hosting-info
[ ! -z "$PACKAGE" ] && \
mvn gpg:sign-and-deploy-file -Durl=https://oss.sonatype.org/service/local/staging/deploy/maven2/ -DrepositoryId=sonatype-nexus-staging -DpomFile=cfMavenCentral.xml -Dgpg.publicKeyring=/projects/swlab1/checker-framework/hosting-info/pubring.gpg -Dgpg.secretKeyring=/projects/swlab1/checker-framework/hosting-info/secring.gpg -Dgpg.keyname=ADF4D638 -Dgpg.passphrase="`cat /projects/swlab1/checker-framework/hosting-info/release-private.password`" -Dfile=${PACKAGE}.jar \
&& \
mvn gpg:sign-and-deploy-file -Durl=https://oss.sonatype.org/service/local/staging/deploy/maven2/ -DrepositoryId=sonatype-nexus-staging -DpomFile=cfMavenCentral.xml -Dgpg.publicKeyring=/projects/swlab1/checker-framework/hosting-info/pubring.gpg -Dgpg.secretKeyring=/projects/swlab1/checker-framework/hosting-info/secring.gpg -Dgpg.keyname=ADF4D638 -Dgpg.passphrase="`cat /projects/swlab1/checker-framework/hosting-info/release-private.password`" -Dfile=${PACKAGE}-sources.jar -Dclassifier=sources \
&& \
mvn gpg:sign-and-deploy-file -Durl=https://oss.sonatype.org/service/local/staging/deploy/maven2/ -DrepositoryId=sonatype-nexus-staging -DpomFile=cfMavenCentral.xml -Dgpg.publicKeyring=/projects/swlab1/checker-framework/hosting-info/pubring.gpg -Dgpg.secretKeyring=/projects/swlab1/checker-framework/hosting-info/secring.gpg -Dgpg.keyname=ADF4D638 -Dgpg.passphrase="`cat /projects/swlab1/checker-framework/hosting-info/release-private.password`" -Dfile=${PACKAGE}-javadoc.jar -Dclassifier=javadoc
# Complete the release at https://oss.sonatype.org/#stagingRepositories