[Git][java-team/checker-framework][temp] Initial packaging

Olek Wojnar gitlab at salsa.debian.org
Fri May 15 19:07:21 BST 2020



Olek Wojnar pushed to branch temp at Debian Java Maintainers / checker-framework


Commits:
3693085a by Olek Wojnar at 2020-05-15T14:08:42-04:00
Initial packaging

- - - - -


14 changed files:

- + debian/README.source
- + debian/changelog
- + debian/checker-framework-docs.docs
- + debian/checker-framework-java.poms
- + debian/control
- + debian/copyright
- + debian/gbp.conf
- + debian/maven.properties
- + debian/patches/pom.patch
- + debian/patches/series
- + debian/rules
- + debian/source/format
- + debian/upstream/metadata
- + debian/watch


Changes:

=====================================
debian/README.source
=====================================
@@ -0,0 +1,20 @@
+checker-framework for Debian
+---------------------------
+
+This is currently packaged in an unconventional way to avoid the impact of
+Bug #926714. [1] Once Gradle >= 5.0.0 and jengelman-shadow >= 5.1.0 are
+packaged, this package should build normally from standard source.[2]
+
+The following will need to be changed:
+d/copyright Source
+d/watch
+and this file
+
+Credit for this unconventional approach goes to Yun Peng <pcloudy at google.com>.
+
+[1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=926714
+[2] https://github.com/typetools/checker-framework
+
+
+ -- Olek Wojnar <olek at debian.org>  Fri, 15 May 2020 09:59:11 -0400
+


=====================================
debian/changelog
=====================================
@@ -0,0 +1,5 @@
+checker-framework (3.0.0+repack1-1) unstable; urgency=medium
+
+  * Initial release (Closes: #959832)
+
+ -- Olek Wojnar <olek at debian.org>  Fri, 15 May 2020 09:59:11 -0400


=====================================
debian/checker-framework-docs.docs
=====================================
@@ -0,0 +1 @@
+README.source


=====================================
debian/checker-framework-java.poms
=====================================
@@ -0,0 +1,28 @@
+# List of POM files for the package
+# Format of this file is:
+# <path to pom file> [option]*
+# where option can be:
+#   --ignore: ignore this POM and its artifact if any
+#   --ignore-pom: don't install the POM. To use on POM files that are created
+#     temporarily for certain artifacts such as Javadoc jars. [mh_install, mh_installpoms]
+#   --no-parent: remove the <parent> tag from the POM
+#   --package=<package>: an alternative package to use when installing this POM
+#      and its artifact
+#   --has-package-version: to indicate that the original version of the POM is the same as the upstream part
+#      of the version for the package.
+#   --keep-elements=<elem1,elem2>: a list of XML elements to keep in the POM
+#      during a clean operation with mh_cleanpom or mh_installpom
+#   --artifact=<path>: path to the build artifact associated with this POM,
+#      it will be installed when using the command mh_install. [mh_install]
+#   --java-lib: install the jar into /usr/share/java to comply with Debian
+#      packaging guidelines
+#   --usj-name=<name>: name to use when installing the library in /usr/share/java
+#   --usj-version=<version>: version to use when installing the library in /usr/share/java
+#   --no-usj-versionless: don't install the versionless link in /usr/share/java
+#   --dest-jar=<path>: the destination for the real jar.
+#     It will be installed with mh_install. [mh_install]
+#   --classifier=<classifier>: Optional, the classifier for the jar. Empty by default.
+#   --site-xml=<location>: Optional, the location for site.xml if it needs to be installed.
+#     Empty by default. [mh_install]
+#
+pom.xml --java-lib


=====================================
debian/control
=====================================
@@ -0,0 +1,22 @@
+Source: checker-framework
+Section: java
+Priority: optional
+Maintainer: Debian Java Maintainers <pkg-java-maintainers at lists.alioth.debian.org>
+Uploaders: Andreas Tille <tille at debian.org>,
+           Olek Wojnar <olek at debian.org>,
+Build-Depends: debhelper-compat (= 13),
+               default-jdk,
+               maven-debian-helper,
+Standards-Version: 4.5.0
+Rules-Requires-Root: no
+Homepage: https://github.com/typetools/checker-framework
+Vcs-Browser: https://salsa.debian.org/java-team/checker-framework
+Vcs-Git: https://salsa.debian.org/java-team/checker-framework.git
+
+Package: checker-framework-java
+Architecture: all
+Depends: ${misc:Depends}
+Description: Framework that makes Java’s type system more powerful and useful
+ A "checker" is a tool that warns you about certain errors or gives you a
+ guarantee that those errors do not occur. The Checker Framework comes with
+ checkers for 24 specific types of errors.


=====================================
debian/copyright
=====================================
@@ -0,0 +1,32 @@
+Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
+Upstream-Name: checker-framework
+Source: https://repo1.maven.org/maven2/org/checkerframework/checker-qual/
+Comment: Repacked from maven to enable proper import. See README.source for
+ more details.
+
+Files: *
+Copyright: 2004-2020 Checker Framework developers
+License: MIT
+
+Files: debian/*
+Copyright: 2020 Olek Wojnar <olek at debian.org>
+License: MIT
+
+License: MIT
+ Permission is hereby granted, free of charge, to any person obtaining a copy
+ of this software and associated documentation files (the "Software"), to deal
+ in the Software without restriction, including without limitation the rights
+ to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+ copies of the Software, and to permit persons to whom the Software is
+ furnished to do so, subject to the following conditions:
+ .
+ The above copyright notice and this permission notice shall be included in
+ all copies or substantial portions of the Software.
+ .
+ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+ AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+ THE SOFTWARE.


=====================================
debian/gbp.conf
=====================================
@@ -0,0 +1,5 @@
+[DEFAULT]
+pristine-tar = True
+
+[import-orig]
+filter-pristine-tar = True


=====================================
debian/maven.properties
=====================================
@@ -0,0 +1 @@
+maven.test.skip=true


=====================================
debian/patches/pom.patch
=====================================
@@ -0,0 +1,18 @@
+Description: Allow proper build
+Author: Yun Peng <pcloudy at google.com>
+Last-Update: 2020-05-15
+
+--- a/pom.xml
++++ b/pom.xml
+@@ -13,6 +13,11 @@
+         org.checkerframework:checker
+     </description>
+ 
++    <properties>
++        <maven.compiler.source>1.8</maven.compiler.source>
++        <maven.compiler.target>1.8</maven.compiler.target>
++    </properties>
++
+     <groupId>org.checkerframework</groupId>
+     <artifactId>checker-qual</artifactId>
+ 


=====================================
debian/patches/series
=====================================
@@ -0,0 +1 @@
+pom.patch


=====================================
debian/rules
=====================================
@@ -0,0 +1,11 @@
+#!/usr/bin/make -f
+
+#export DH_VERBOSE = 1
+#export DEB_BUILD_MAINT_OPTIONS = hardening=+all
+
+# Ensure packages build with no Internet access
+export http_proxy=127.0.0.1:9
+export https_proxy=127.0.0.1:9
+
+%:
+	dh $@


=====================================
debian/source/format
=====================================
@@ -0,0 +1 @@
+3.0 (quilt)


=====================================
debian/upstream/metadata
=====================================
@@ -0,0 +1,4 @@
+Bug-Database: https://github.com/typetools/checker-framework/issues
+Homepage: http://checkerframework.org/
+Repository: https://github.com/typetools/checker-framework
+Repository-Browse: https://github.com/typetools/checker-framework


=====================================
debian/watch
=====================================
@@ -0,0 +1,13 @@
+version=4
+
+# PGP signature mangle, so foo.tar.gz has foo.tar.gz.sig
+#opts="pgpsigurlmangle=s%$%.sig%"
+
+opts="compression=xz, dversionmangle=s/\+repack\d*$//, repacksuffix=+repack1" \
+  https://repo1.maven.org/maven2/org/checkerframework/checker-qual/(\d[\d\.]+)/ \
+  checker-qual-([\d\.]+)-sources.jar debian uupdate
+
+# Future watch line
+#opts="filenamemangle=s%(?:.*?)?v?(\d[\d.]*)\.tar\.gz%checker-framework-$1.tar.gz%" \
+#   https://github.com/typetools/checker-framework/tags \
+#   (?:.*?/)?v?(\d[\d.]*)\.tar\.gz debian uupdate



View it on GitLab: https://salsa.debian.org/java-team/checker-framework/-/commit/3693085adb9ba79ab37ee0682b157bcd9b498ff5

-- 
View it on GitLab: https://salsa.debian.org/java-team/checker-framework/-/commit/3693085adb9ba79ab37ee0682b157bcd9b498ff5
You're receiving this email because of your account on salsa.debian.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/pkg-java-commits/attachments/20200515/65d69d64/attachment.html>


More information about the pkg-java-commits mailing list