debian/0000755000000000000000000000000012140164577007175 5ustar debian/source/0000755000000000000000000000000012131262470010464 5ustar debian/source/format0000644000000000000000000000001412131262470011672 0ustar 3.0 (quilt) debian/local.properties0000644000000000000000000000154012131262470012374 0ustar ## You can override the following properties by creating ## a 'local.properties' configuration file. ## Version information. Set 'snapshot' to false if you are building ## a release. version=1.0 snapshot=false debug=false ## Location of an older build of Cofoja, for bootstrapping purposes. bootstrap.jar=build/bootstrap.jar ## Location of dependency JAR files needed to build Cofoja. The ## defaults assume the JAR files are in the 'build' subdirectory, ## except for 'tools.jar', which is probably not what you want. asm.jar=/usr/share/java/asm3-all.jar junit.jar=/usr/share/java/junit4.jar tools.jar=${java.home}/../lib/tools.jar ## If you use Maven, the following may help, instead. # maven.repo.dir=${user.home}/.m2/repository # asm.jar=${maven.repo.dir}/asm/asm-all/3.3.1/asm-all-3.3.1.jar # junit.jar=${maven.repo.dir}/junit/junit/4.8.2/junit-4.8.2.jar debian/copyright0000644000000000000000000000222712131262470011122 0ustar Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: cofoja Source: https://code.google.com/p/cofoja/ Files: * Copyright: 2007 Johannes Rieken, 2010 Google Inc., 2011 Nhat Minh Lê License: LGPL-3 the LGPL-3 license file can be found at /usr/share/common-licenses/ Files: debian/* Copyright: 2013 Olivier Sallou License: GPL-2+ This package is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. . This package is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. . You should have received a copy of the GNU General Public License along with this program. If not, see . On Debian systems, the complete text of the GNU General Public License version 2 can be found in "/usr/share/common-licenses/GPL-2". debian/libcofoja-java.manifest0000644000000000000000000000010512131271047013557 0ustar usr/share/java/cofoja.jar: Class-Path: /usr/share/java/asm3-all.jar debian/compat0000644000000000000000000000000212131262470010362 0ustar 8 debian/watch0000644000000000000000000000022312131262470010212 0ustar # Compulsory line, this is a version 3 file version=3 http://code.google.com/p/cofoja/downloads/list?can=1 .*/cofoja-(\d[\d.]*[-r\d.]*)\.(?:jar) debian/docs0000644000000000000000000000000712131263326010035 0ustar README debian/clean0000644000000000000000000000002112131262470010162 0ustar local.properties debian/patches/0000755000000000000000000000000012140164262010613 5ustar debian/patches/series0000644000000000000000000000005312140164223012023 0ustar remove_version_from_generated_jar encoding debian/patches/encoding0000644000000000000000000000403612140164215012325 0ustar Description: Force encoding to UTF-8 Author: Colin Watson Forwarded: no Last-Update: 2013-04-30 --- a/build.xml +++ b/build.xml @@ -93,7 +93,7 @@ + debug="true" includeantruntime="false" encoding="UTF-8"> @@ -148,7 +148,7 @@ + includeantruntime="false" encoding="UTF-8"> @@ -165,7 +165,7 @@ + debug="true" includeantruntime="false" encoding="UTF-8"> @@ -202,7 +202,7 @@ + debug="true" includeantruntime="false" encoding="UTF-8"> @@ -216,7 +216,7 @@ + debug="true" includeantruntime="false" encoding="UTF-8"> debian/patches/remove_version_from_generated_jar0000644000000000000000000000200612131267423017476 0ustar Subject: remove version on jar Description: generated jar containes version, already added with javahelper Author: Olivier Sallou Last-Updated: 2013-04-10 Fowarded: no --- a/build.xml +++ b/build.xml @@ -129,13 +129,13 @@ + value="${dist.dir}/cofoja.jar" /> + value="${dist.dir}/cofoja-bare.jar" /> + value="${dist.dir}/ccofoja.jar" /> + value="${dist.dir}/ccofoja-bare.jar" /> debian/get-orig-source.sh0000755000000000000000000000141312131262470012535 0ustar #!/bin/bash PACKAGE=$(dpkg-parsechangelog | sed -ne 's/^Source: \(.*\)/\1/p') SRC_VERSION=$(dpkg-parsechangelog | sed -ne 's/^Version: \(\([0-9]\+\):\)\?\(.*\)-.*/\3/p') SRC_REVISION=$(dpkg-parsechangelog | sed -ne 's/^Version: .*~r\(.*\)-.*/\1/p') SRC_DIR=$PACKAGE-$SRC_VERSION.orig TARBALL=$PACKAGE'_'$SRC_VERSION'.orig.tar.bz2' SVN_REPOS=http://cofoja.googlecode.com/svn echo "Package: "$PACKAGE echo "Version: "$SRC_VERSION echo "Revision: "$SRC_REVISION echo "Tarball: "$TARBALL rm -rf get-orig-source $TARBALL mkdir get-orig-source svn export -r $SRC_REVISION $SVN_REPOS/trunk/ get-orig-source/$SRC_DIR BZIP2='--best' tar cjf $TARBALL -C get-orig-source $SRC_DIR rm -r get-orig-source echo " "$TARBALL" created; move it to the right destination to build the package" debian/control0000644000000000000000000000174612140163737010605 0ustar Source: cofoja Section: java Priority: optional Uploaders: Olivier Sallou Maintainer: Debian Java Maintainers Build-Depends: debhelper (>= 8.0.0), default-jdk, libasm3-java, javahelper (>=0.25), junit4, ant Standards-Version: 3.9.4 Homepage: https://code.google.com/p/cofoja/ Vcs-Git: git://git.debian.org/pkg-java/libcofoja-java.git Vcs-Browser: http://git.debian.org/?p=pkg-java/libcofoja-java.git;a=summary Package: libcofoja-java Architecture: all Depends: ${misc:Depends}, ${java:Depends} Description: Java framework for runtime checking Contracts for Java is a contract programming framework for Java, which uses annotation processing and bytecode instrumentation to provide run-time checking. . Contracts for Java enables you to annotate your code with contracts in the form of preconditions, postconditions and invariants. . These contract annotations are: - easy to write and read - checked at runtime . debian/libcofoja-java.jlibs0000644000000000000000000000002012131267513013053 0ustar dist/cofoja.jar debian/rules0000755000000000000000000000053212131265533010247 0ustar #!/usr/bin/make -f # -*- makefile -*- # Uncomment this to turn on verbose mode. #export DH_VERBOSE=1 JAVA_HOME=/usr/lib/jvm/default-java CLASSPATH=/usr/share/java/asm3-all.jar %: dh $@ --with javahelper override_dh_auto_configure: cp debian/local.properties local.properties dh_auto_configure get-orig-source: debian/get-orig-source.sh debian/changelog0000644000000000000000000000070312140164554011042 0ustar cofoja (1.0~r139-2) unstable; urgency=low * debian/control : Fix VCS fields (Closes: #706422) * Fix unmappable characters preventing JDK 7 build (Closes: #706419) Thanks to Colin Watson -- Olivier Sallou Wed, 01 May 2013 11:57:38 +0200 cofoja (1.0~r139-1) unstable; urgency=low * Initial release (Closes: #705128) -- Olivier Sallou Wed, 10 Apr 2013 13:48:51 +0200