debian/0000755000000000000000000000000012132565214007167 5ustar debian/README.source0000644000000000000000000000125311702644030011343 0ustar zimpl for Debian ---------------- This package uses quilt to manage all modifications to the upstream source. Changes are stored in the source package as diffs in debian/patches and applied during the build. See /usr/share/doc/quilt/README.source for a detailed explanation. The upstream tarball of zimpl has been repackaged for Debian since it contains material with unclear license conditions. In particular, the following files have been removed from the upstream tarball: doc/zimpl.pdf The repackaged tarball used by Debian can be regenerated using the target get-orig-source in debian/rules. -- Joachim Reichel Mon, 09 Jan 2012 21:03:18 +0100 debian/rules0000755000000000000000000000215212132564670010254 0ustar #!/usr/bin/make -f # export DH_VERBOSE=1 %: dh $@ override_dh_auto_build: for FILE in src/mmlparse2.c src/mmlparse2.h src/mmlscan.c; do cp -a $$FILE $$FILE.sik; done CFLAGS="$(CFLAGS)" CPPFLAGS="$(CPPFLAGS)" dh_auto_build -- VERBOSE=true for FILE in src/mmlparse2.c src/mmlparse2.h src/mmlscan.c; do mv $$FILE.sik $$FILE; done override_dh_auto_test: CFLAGS="$(CFLAGS)" CPPFLAGS="$(CPPFLAGS)" dh_auto_test -- VERBOSE=true override_dh_install: # replace symbolic link bin/zimpl by the link target cp -L bin/zimpl bin/zimpl.real rm bin/zimpl mv bin/zimpl.real bin/zimpl dh_install bin/zimpl usr/bin override_dh_installexamples: dh_installexamples example/* override_dh_installman: dh_installman doc/zimpl.man override_dh_auto_clean: dh_auto_clean cd check/warnings && rm -f w215.warn w215.tbl w215.mst w215.lp get-orig-source: wget http://zimpl.zib.de/download/zimpl-3.3.1.tgz tar xzf zimpl-3.3.1.tgz rm zimpl-3.3.1.tgz rm -r zimpl-3.3.1/doc/zimpl.pdf mv zimpl-3.3.1 zimpl-3.3.1+dfsg tar cf - zimpl-3.3.1+dfsg | gzip --best >zimpl_3.3.1+dfsg.orig.tar.gz rm -r zimpl-3.3.1+dfsg .PHONY: get-orig-source debian/README.Debian0000644000000000000000000000050511657717737011254 0ustar zimpl for Debian ---------------- The upstream tarball of zimpl contains the manual in PDF format which had to be removed from the Debian package due to unclear license conditions. The manual is available from the homepage http://zimpl.zib.de/. -- Joachim Reichel , Fri, 14 Jul 2006 22:03:22 +0200 debian/copyright0000644000000000000000000001051311765114073011126 0ustar Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: zimpl Source: http://zimpl.zib.de/ Files: * Copyright: 2001-2010 Thorsten Koch License: LGPL-3+ Files: src/mmlparse2.* Copyright: 1984, 1989, 1990, 2000, 2001, 2002, 2003, 2004, 2005, 2006 Free Software Foundation, Inc. License: GPL-2+ with bison exception Files: src/random.c src/numbdbl.c Copyright: 1997 - 2002, Makoto Matsumoto and Takuji Nishimura 2001-2010 Thorsten Koch License: BSD 3-clause Files: debian/* Copyright: 2006-2011 Joachim Reichel License: LGPL-3+ License: LGPL-3+ This program is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either version 3 of the License, or (at your option) any later version. . This program 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 Lesser General Public License for more details. . You should have received a copy of the GNU Lesser General Public License along with this program; if not, write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. . On Debian systems, the full text of the GNU Lesser General Public License version 3 can be found in the file `/usr/share/common-licenses/LGPL-3'. License: GPL-2+ with bison exception This program 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, or (at your option) any later version. . This program 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, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. . As a special exception, you may create a larger work that contains part or all of the Bison parser skeleton and distribute that work under terms of your choice, so long as that work isn't itself a parser generator using the skeleton or a modified version thereof as a parser skeleton. Alternatively, if you modify or redistribute the parser skeleton itself, you may (at your option) remove this special exception, which will cause the skeleton and the resulting Bison output files to be licensed under the GNU General Public License without this special exception. . On Debian systems, the full text of the GNU General Public License version 2 can be found in the file `/usr/share/common-licenses/GPL-2'. License: BSD 3-clause Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: . 1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer. . 2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution. . 3. The names of its contributors may not be used to endorse or promote products derived from this software without specific prior written permission. . THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. debian/source/0000755000000000000000000000000011657717571010507 5ustar debian/source/format0000644000000000000000000000001411657717571011715 0ustar 3.0 (quilt) debian/control0000644000000000000000000000123711765117026010602 0ustar Source: zimpl Section: science Priority: optional Maintainer: Joachim Reichel Build-Depends: debhelper (>= 9), libgmp-dev, zlib1g-dev, bison, flex Standards-Version: 3.9.3 Homepage: http://zimpl.zib.de/ Package: zimpl Architecture: any Depends: ${shlibs:Depends}, ${misc:Depends} Suggests: glpk-utils Description: mathematical modeling language for optimization problems Zimpl allows the specification of certain optimization problems - linear programs (LPs) and mixed integer programs (MIPs) - in a high-level description language. These descriptions can be converted into the LP or MPS file formats which are understood by LP and MIP solvers. debian/watch0000644000000000000000000000013411765120270010216 0ustar version=3 opts="dversionmangle=s/\+dfsg\d*$//" http://zimpl.zib.de/download/zimpl-(.*)\.tgz debian/changelog0000644000000000000000000001050612132564736011053 0ustar zimpl (3.3.1+dfsg-1) unstable; urgency=low * New upstream release. -- Joachim Reichel Sun, 14 Apr 2013 19:37:34 +0200 zimpl (3.3.0+dfsg-1) unstable; urgency=low * New upstream release. * Backup pre-generated flex and bison output files to restore them after the build process (which might trigger re-building them). -- Joachim Reichel Thu, 02 Aug 2012 22:33:33 +0200 zimpl (3.2.0+dfsg-2) unstable; urgency=low * Change Build-Depends: libgmp3-dev to libgmp-dev. * Change Build-Depends: debhelper (>= 8.0.0) to debhelper (>= 9), update debian/compat to get the default build flags for hardening. * Add patch fix-format-security-error.patch to fix an error caused by -Wformat-security. * Remove Build-Depends: quilt. * Update Standards-Version to 3.9.3 (no changes needed). * Fix Format: line in debian/copyright. * Fix debian/watch. -- Joachim Reichel Sun, 10 Jun 2012 14:52:17 +0200 zimpl (3.2.0+dfsg-1) unstable; urgency=low * New upstream release. * Changed packaging format to "3.0 (quilt)". * Update Standards-Version to 3.9.2 (no changes needed). -- Joachim Reichel Sun, 13 Nov 2011 13:12:01 +0100 zimpl (3.1.0+dfsg-1) unstable; urgency=low * New upstream release. * Remove patch kfreebsd.dpatch: fixed upstream. * debian/control: Add missing "Depends: ${misc:Depends}". * Update Standards-Version to 3.9.1 (quote BSD license for some parts in debian/copyright). -- Joachim Reichel Sat, 02 Oct 2010 20:45:30 +0200 zimpl (3.0.0+dfsg1-4) unstable; urgency=low * Make sure package does not get accidentally build as debug version (Closes: #552961). * Add patch display-check-failures.dpatch to simplify the debugging of failing unit tests. -- Joachim Reichel Tue, 17 Nov 2009 20:12:43 +0100 zimpl (3.0.0+dfsg1-3) unstable; urgency=low * Add patch kfreebsd.dpatch: Fix build error on kFreeBSD (Closes: #550282). * Improve patch build.dpatch: Fail if not all tests pass. -- Joachim Reichel Tue, 20 Oct 2009 18:59:04 +0200 zimpl (3.0.0+dfsg1-2) unstable; urgency=low * Re-enable test suite which was accidentially disabled in 2.09.ds1-1. -- Joachim Reichel Wed, 16 Sep 2009 19:32:40 +0200 zimpl (3.0.0+dfsg1-1) unstable; urgency=low * New upstream release. * Update Standards-Version to 3.8.3 (no changes needed). -- Joachim Reichel Wed, 16 Sep 2009 18:46:52 +0200 zimpl (2.09.ds1-1) unstable; urgency=low * New upstream release. * Update Standards-Version to 3.8.1 (add support for nocheck in DEB_BUILD_OPTIONS). -- Joachim Reichel Fri, 01 May 2009 17:08:30 +0200 zimpl (2.08.ds1-1) unstable; urgency=low * New upstream release. * debian/control: Replace Suggests: glpk by new package name glpk-utils. * debian/control: Update Standards-Version to 3.8.0 (no changes needed). * Remove patch check.dpatch: No longer needed. -- Joachim Reichel Sun, 18 Jan 2009 15:51:17 +0100 zimpl (2.07.ds1-2) unstable; urgency=low * debian/rules: Quote CFLAGS and CPPFLAGS in make calls (Closes: #476017), thanks to Mike O'Connor for the patch. * debian/control: Add Homepage: field, adjust Description: accordingly. * debian/control: Update Standards-Version to 3.7.3 (no changes needed). * Add patch manpage.dpatch: Fix typo in manpage. -- Joachim Reichel Wed, 16 Apr 2008 18:17:48 +0200 zimpl (2.07.ds1-1) unstable; urgency=low * New upstream release. * Add patch check.dpatch: the different number format is a known problem without consequences. * Add watch file. -- Joachim Reichel Mon, 3 Sep 2007 18:59:32 +0200 zimpl (2.05.ds2-1) unstable; urgency=low * New upstream release (upstream fixed some packaging errors without increasing the version number). * Update URL of homepage. -- Joachim Reichel Sat, 4 Nov 2006 16:50:36 +0100 zimpl (2.05.ds1-1) unstable; urgency=low * New upstream release. -- Joachim Reichel Mon, 18 Sep 2006 20:28:50 +0200 zimpl (2.04.ds1-1) unstable; urgency=low * Initial release (Closes: #365073). -- Joachim Reichel Wed, 19 Jul 2006 15:39:36 +0200 debian/compat0000644000000000000000000000000111765117007010370 0ustar 9debian/patches/0000755000000000000000000000000012006562325010616 5ustar debian/patches/fix-format-security-error.patch0000644000000000000000000000061211765121100016677 0ustar Author: Joachim Reichel Description: Fix an error caused by -Wformat-security. --- a/src/zimpllib.c +++ b/src/zimpllib.c @@ -89,7 +89,7 @@ void zpl_print_banner(FILE* fp, Bool wit fprintf(fp, banner, VERSION); if (with_license || verbose > VERB_NORMAL) - fprintf(fp, license); + fprintf(fp, "%s", license); fputc('\n', fp); } debian/patches/display-test-failures0000644000000000000000000001030711657736330015006 0ustar Author: Joachim Reichel Description: Display diffs for failing unit tests. --- a/check/check.sh +++ b/check/check.sh @@ -32,14 +32,14 @@ do COUNT=`expr $COUNT + 1` $1 -v0 $i.zpl - diff $i.lp $i.lp.ref >/dev/null + diff -u $i.lp $i.lp.ref case $? in 0) echo Test $i "(lp)" OK; PASS=`expr $PASS + 1` ;; 1) echo Test $i "(lp)" FAIL ;; *) echo Test $i "(lp)" ERROR ;; esac COUNT=`expr $COUNT + 1` - diff $i.tbl $i.tbl.ref >/dev/null + diff -u $i.tbl $i.tbl.ref case $? in 0) echo Test $i "(tbl)" OK; PASS=`expr $PASS + 1` ;; 1) echo Test $i "(tbl)" FAIL ;; @@ -51,28 +51,28 @@ do COUNT=`expr $COUNT + 1` $1 -v0 -Distart=5 -t mps -r -m -n cm $i.zpl - diff $i.mps $i.mps.ref >/dev/null + diff -u $i.mps $i.mps.ref case $? in 0) echo Test $i "(mps)" OK; PASS=`expr $PASS + 1` ;; 1) echo Test $i "(mps)" FAIL ;; *) echo Test $i "(mps)" ERROR ;; esac COUNT=`expr $COUNT + 1` - diff $i.tbl $i.tbl.ref >/dev/null + diff -u $i.tbl $i.tbl.ref case $? in 0) echo Test $i "(tbl)" OK; PASS=`expr $PASS + 1` ;; 1) echo Test $i "(tbl)" FAIL ;; *) echo Test $i "(tbl)" ERROR ;; esac COUNT=`expr $COUNT + 1` - diff $i.mst $i.mst.ref >/dev/null + diff -u $i.mst $i.mst.ref case $? in 0) echo Test $i "(mst)" OK; PASS=`expr $PASS + 1` ;; 1) echo Test $i "(mst)" FAIL ;; *) echo Test $i "(mst)" ERROR ;; esac COUNT=`expr $COUNT + 1` - diff $i.ord $i.ord.ref >/dev/null + diff -u $i.ord $i.ord.ref case $? in 0) echo Test $i "(ord)" OK; PASS=`expr $PASS + 1` ;; 1) echo Test $i "(ord)" FAIL ;; @@ -83,7 +83,7 @@ # COUNT=`expr $COUNT + 1` $1 -v0 -Distart=4 -t hum -n cf presol.zpl - diff presol.hum presol.hum.ref >/dev/null + diff -u presol.hum presol.hum.ref case $? in 0) echo Test presol.zpl "(hum)" OK; PASS=`expr $PASS + 1` ;; 1) echo Test presol.zpl "(hum)" FAIL ;; @@ -93,7 +93,7 @@ # COUNT=`expr $COUNT + 1` $1 -v0 print.zpl >print.out - diff print.out print.out.ref >/dev/null + diff -u print.out print.out.ref case $? in 0) echo Test print.zpl "(out)" OK; PASS=`expr $PASS + 1` ;; 1) echo Test print.zpl "(out)" FAIL ;; @@ -104,7 +104,7 @@ # COUNT=`expr $COUNT + 1` $1 -v0 -t pip minlp.zpl - diff minlp.pip minlp.pip.ref >/dev/null + diff -u minlp.pip minlp.pip.ref case $? in 0) echo Test minlp.zpl "(pip)" OK; PASS=`expr $PASS + 1` ;; 1) echo Test minlp.zpl "(pip)" FAIL ;; @@ -115,14 +115,14 @@ # $1 -v0 -Dcities=5 -o metaio @selftest_tspste.zpl >metaio.out COUNT=`expr $COUNT + 1` - diff metaio.lp metaio.lp.ref >/dev/null + diff -u metaio.lp metaio.lp.ref case $? in 0) echo Test metaio "(lp)" OK; PASS=`expr $PASS + 1` ;; 1) echo Test metaio "(lp)" FAIL ;; *) echo Test metaio "(lp)" ERROR ;; esac COUNT=`expr $COUNT + 1` - diff metaio.out metaio.out.ref >/dev/null + diff -u metaio.out metaio.out.ref case $? in 0) echo Test metaio "(out)" OK; PASS=`expr $PASS + 1` ;; 1) echo Test metaio "(out)" FAIL ;; @@ -137,7 +137,7 @@ COUNT=`expr $COUNT + 1` NAME=`basename $i .zpl` ../$1 $i 2>$NAME.warn >/dev/null - diff $NAME.warn $NAME.warn.ref >/dev/null + diff -u $NAME.warn $NAME.warn.ref case $? in 0) echo Test $i "(warn)" OK; PASS=`expr $PASS + 1` ;; 1) echo Test $i "(warn)" FAIL ;; @@ -150,13 +150,13 @@ COUNT=`expr $COUNT + 2` NAME=w215 ../$1 -m $NAME 2>$NAME.warn >/dev/null -diff $NAME.warn $NAME-m.warn.ref >/dev/null +diff -u $NAME.warn $NAME-m.warn.ref case $? in 0) echo Test $NAME "-1 (warn)" OK; PASS=`expr $PASS + 1` ;; 1) echo Test $NAME "-1 (warn)" FAIL ;; *) echo Test $NAME "-1 (warn)" ERROR ;; esac -diff $NAME.mst $NAME.mst.ref >/dev/null +diff -u $NAME.mst $NAME.mst.ref case $? in 0) echo Test $NAME "-2 (warn)" OK; PASS=`expr $PASS + 1` ;; 1) echo Test $NAME "-2 (warn)" FAIL ;; @@ -172,7 +172,7 @@ COUNT=`expr $COUNT + 1` NAME=`basename $i .zpl` ../$1 -v0 $i 2>$NAME.err - diff $NAME.err $NAME.err.ref >/dev/null + diff -u $NAME.err $NAME.err.ref case $? in 0) echo Test $i "(err)" OK; PASS=`expr $PASS + 1` ;; 1) echo Test $i "(err)" FAIL ;; debian/patches/adapt-build-system.patch0000644000000000000000000000731311657735737015377 0ustar Author: Joachim Reichel Description: Fix build system to work with debian/rules. Fail if not all tests pass. --- a/Makefile +++ b/Makefile @@ -52,7 +52,9 @@ LINK = normal OPT = opt COMP = gnu +ifndef CC CC = gcc +endif YACC = bison LEX = flex DCC = gcc @@ -67,9 +69,10 @@ BINDIR = bin LIBDIR = lib -CPPFLAGS = -I$(SRCDIR) -DVERSION='"$(VERSION)"' -CFLAGS = -O -LDFLAGS = -lgmp -lz -lm +CPPFLAGS += -I$(SRCDIR) -DVERSION='"$(VERSION)"' +CPPFLAGS += -DNO_MSHELL -D__NO_MATH_INLINES -DNDEBUG +CFLAGS += -O3 +LDFLAGS += -lgmp -lz -lm YFLAGS = -d -t -v LFLAGS = -d ARFLAGS = @@ -88,7 +91,7 @@ endif BASE = $(OSTYPE).$(ARCH).$(COMP).$(OPT) -OBJDIR = obj/O.$(OSTYPE).$(ARCH).$(COMP).$(LINK).$(OPT) +OBJDIR = obj NAME = zimpl BINNAME = $(NAME)-$(VERSION).$(OSTYPE).$(ARCH).$(COMP).$(LINK).$(OPT) LIBNAME = $(NAME)-$(VERSION).$(BASE) @@ -123,10 +126,10 @@ LIBSRC = $(addprefix $(SRCDIR)/,$(LIBOBJ:.o=.c)) #(SRCDIR)/numbdbl.c #----------------------------------------------------------------------------- -include make/make.$(OSTYPE).$(ARCH).$(COMP).$(OPT) --include make/local/make.$(HOSTNAME) --include make/local/make.$(HOSTNAME).$(COMP) --include make/local/make.$(HOSTNAME).$(COMP).$(OPT) +#include make/make.$(OSTYPE).$(ARCH).$(COMP).$(OPT) +#-include make/local/make.$(HOSTNAME) +#-include make/local/make.$(HOSTNAME).$(COMP) +#-include make/local/make.$(HOSTNAME).$(COMP).$(OPT) #----------------------------------------------------------------------------- FLAGS += $(USRFLAGS) @@ -157,15 +160,12 @@ cd $(dir $@) && ln -s $(notdir $(BINARY)) $(notdir $@) $(BINARY): $(OBJDIR) $(BINDIR) $(OBJXXX) $(LIBRARY) - @echo "-> linking $@" $(CC) $(CFLAGS) $(OBJXXX) -L$(LIBDIR) -l$(LIBNAME) $(LDFLAGS) -o $@ $(BINARYDBL): $(OBJDIR) $(BINDIR) $(OBJXXX) $(LIBRARYDBL) - @echo "-> linking $@" $(CC) $(CFLAGS) $(OBJXXX) -L$(LIBDIR) -l$(LIBNAME).dbl $(LDFLAGS) -o $@ $(LIBRARY): $(OBJDIR) $(LIBDIR) $(LIBXXX) - @echo "-> generating library $@" -rm -f $(LIBRARY) $(AR) $@ $(LIBXXX) $(ARFLAGS) $(RANLIB) $@ @@ -173,17 +173,14 @@ libdbl: $(LIBRARYDBL) $(LIBDBLLINK) $(LIBRARYDBL): $(OBJDIR) $(LIBDIR) $(LIBDBLXXX) - @echo "-> generating library $@" -rm -f $(LIBRARYDBL) $(AR) $@ $(LIBDBLXXX) $(ARFLAGS) $(RANLIB) $@ $(SRCDIR)/mmlparse2.c: $(SRCDIR)/mmlparse2.y $(SRCDIR)/mme.h - @echo "-> generating yacc parser $@" $(YACC) $(YFLAGS) -o $@ $< $(SRCDIR)/mmlscan.c: $(SRCDIR)/mmlscan.l $(SRCDIR)/mme.h - @echo "-> generating lex scanner $@" $(LEX) $(LFLAGS) -o$@ $< lint: $(OBJSRC) $(LIBSRC) @@ -215,19 +212,16 @@ -rm gcov/z.capture $(OBJDIR): - @echo "** creating directory \"$@\"" - @-mkdir -p $(OBJDIR) + -mkdir -p $(OBJDIR) $(LIBDIR): - @echo "** creating directory \"$@\"" - @-mkdir -p $(LIBDIR) + -mkdir -p $(LIBDIR) $(BINDIR): - @echo "** creating directory \"$@\"" - @-mkdir -p $(BINDIR) + -mkdir -p $(BINDIR) clean: - -rm -rf $(OBJDIR)/* $(BINARY) $(LIBRARY) $(LIBRARYDBL) $(LIBLINK) $(BINLINK) $(BINSHORTLINK) + -rm -rf $(OBJDIR) $(BINDIR) $(LIBDIR) depend: $(SHELL) -ec '$(DCC) $(DFLAGS) $(CPPFLAGS) $(OBJSRC) $(LIBSRC) \ @@ -237,7 +231,6 @@ -include $(DEPEND) $(OBJDIR)/%.o: $(SRCDIR)/%.c - @echo "-> compiling $@" $(CC) $(CPPFLAGS) $(CFLAGS) -c $< -o $@ # --- EOF --------------------------------------------------------------------- --- a/check/check.sh +++ b/check/check.sh @@ -198,10 +198,12 @@ rm $NAME.err done 2>/dev/null -if [ $PASS -eq $COUNT ] ; then echo All $PASS tests passed; -else echo FAILURE! Only $PASS of $COUNT tests passed; +if [ $PASS -ne $COUNT ] ; then + echo FAILURE! Only $PASS of $COUNT tests passed + exit 1 fi +echo All $PASS tests passed debian/patches/fix-typos-in-manpage.patch0000644000000000000000000000261311657743327015633 0ustar Author: Joachim Reichel Description: Fix encoding errors in manpage. --- a/doc/zimpl.man +++ b/doc/zimpl.man @@ -73,20 +73,20 @@ .I name to the specified value. This is equivalent with having this line in the Zimpl program: param name:=val . -.IP -f +.IP \-f Enable .BR flex (1) debugging output. .IP "\-F filter" The output is piped through a filter. A %s in the string is replaced by the output filename. For example: --F "gzip \-c >%s.gz" would compress all the +\-F "gzip \-c >%s.gz" would compress all the output files. -.IP -h +.IP \-h Show program help. .IP "\-l length" Sets the maximum length for variable names in LPF output files. -.IP -m +.IP \-m Write a CPLEX .mst Mip STart file. .IP "\-n cm|cn|cf" Select the format for the generation of constraint @@ -102,7 +102,7 @@ then a 1 .. n number like in .I cm and then append all the local variables from the forall statements. -.IP "-o outfile" +.IP "\-o outfile" Sets the base-name for the output files. Default is the name of the input file without extension. .IP \-O @@ -110,7 +110,7 @@ .IP "\-P filter" The input is piped through a filter. A %s in the string is replaced by the input filename. For example: -\-F "cpp -DWITH_C1 %s" would pass the input file through the +\-F "cpp \-DWITH_C1 %s" would pass the input file through the C-preprocessor. .IP \-r Write a CPLEX .ord branching order file. debian/patches/series0000644000000000000000000000015211765117513012037 0ustar adapt-build-system.patch display-test-failures fix-typos-in-manpage.patch fix-format-security-error.patch debian/docs0000644000000000000000000000000711657717571010057 0ustar README