cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Import LRS. Vertex enumeration/convex hull problem solver.

Browse Source 
OK jasper@
This commit is contained in:
edd 2011-10-07 08:58:42 +00:00
parent c2314619a8
commit 9548aa2355
8 changed files with 258 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

44
math/lrs/Makefile Normal file
View File

@ -0,0 +1,44 @@
# $OpenBSD: Makefile,v 1.1.1.1 2011/10/07 08:58:42 edd Exp $
COMMENT = solve vertex enumeration and convex hull problems
DISTNAME = lrslib-042c
PKGNAME = lrs-042
CATEGORIES = math
HOMEPAGE = http://cgm.cs.mcgill.ca/~avis/C/lrs.html
MAINTAINER = Edd Barrett <edd@openbsd.org>
# GPLv2
PERMIT_PACKAGE_CDROM = Yes
PERMIT_PACKAGE_FTP = Yes
PERMIT_DISTFILES_CDROM =Yes
PERMIT_DISTFILES_FTP = Yes
WANTLIB = c gmp
MASTER_SITES = http://cgm.cs.mcgill.ca/~avis/C/lrslib/
MAKE_FILE = makefile
MAKE_FLAGS = CPPFLAGS=-I${LOCALBASE}/include LDFLAGS=-L${LOCALBASE}/lib
ALL_TARGET = gmp # build with arbitrary precision numbers
LIB_DEPENDS = devel/gmp
BINARIES = 2gnash buffer gfourier glrs gnash gredund
do-install:
.for i in ${BINARIES}
${INSTALL_PROGRAM} ${WRKBUILD}/${i} ${PREFIX}/bin/
.endfor
# A simple test to check it works
REGRESS_FILES = test.ine expected_outcome.ine openbsd_regress.sh
do-regress:
.for i in ${REGRESS_FILES}
cp ${FILESDIR}/${i} ${WRKBUILD}
.endfor
cd ${WRKBUILD} && sh openbsd_regress.sh
.include <bsd.port.mk>

5
math/lrs/distinfo Normal file
View File

@ -0,0 +1,5 @@
MD5 (lrslib-042c.tar.gz) = BQNwfE4XUG1ID5E2AvQBwA==
RMD160 (lrslib-042c.tar.gz) = raW4t0gI7beMJQ1iFHSJOBur30k=
SHA1 (lrslib-042c.tar.gz) = VhTqGHJapqAPPe62HQlvnjVk11M=
SHA256 (lrslib-042c.tar.gz) = U/mbUnE5e7XzF8lvo2Xtwaxx+ny6ApXIvXngiC9cOko=
SIZE (lrslib-042c.tar.gz) = 168765

8
math/lrs/files/expected_outcome.ine Normal file
View File

@ -0,0 +1,8 @@
1 1 1 1
1 -1 1 1
1 1 -1 1
1 -1 -1 1
1 1 1 -1
1 -1 1 -1
1 1 -1 -1
1 -1 -1 -1

18
math/lrs/files/openbsd_regress.sh Executable file
View File

@ -0,0 +1,18 @@
#!/bin/sh
# $OpenBSD: openbsd_regress.sh,v 1.1.1.1 2011/10/07 08:58:42 edd Exp $
IN=test.ine
OUT=actual_outcome.ine
EXPECT=expected_outcome.ine
./glrs ${IN} | grep -e '^ 1' 2>&1 | tee ${OUT}
DIFF=`diff -u ${OUT} ${EXPECT}`
if [ -n "${DIFF}" ]; then
echo "ERROR: Regression test failed:"
echo "${DIFF}"
exit 1
fi
echo "OK: Regression test passed"
exit 0

14
math/lrs/files/test.ine Normal file
View File

@ -0,0 +1,14 @@
cube
* Cube of side 2 centred at the origin
* Borrowed from:
* http://cgm.cs.mcgill.ca/~avis/C/lrslib/USERGUIDE.html
H-representation
begin
6 4 rational
1 1 0 0
1 0 1 0
1 0 0 1
1 -1 0 0
1 0 -1 0
1 0 0 -1
end

153
math/lrs/patches/patch-makefile Normal file
View File

@ -0,0 +1,153 @@
$OpenBSD: patch-makefile,v 1.1.1.1 2011/10/07 08:58:42 edd Exp $
Honour CFLAGS, LDFLAGS, CPPFLAGS. Use dynamic linking.
--- makefile.orig Mon Apr 26 03:12:56 2010
+++ makefile Mon Oct 3 12:14:16 2011
@@ -15,87 +15,76 @@
# make clean to clean all executables
-#Select one of the following INCLUDE,LIB paths only needed for gmp version
-
-#linux at mcgill with gmp version 3
-INCLUDEDIR = /usr/local/include
-LIBDIR = /usr/local/lib
-
-#linux at mcgill with gmp version 2
-#INCLUDEDIR = /labs/cgm/gmp2/include
-#LIBDIR = /labs/cgm/gmp2/lib
-
-
all: lrs.c lrslib.c lrslib.h lrsmp.c lrsmp.h lrslong.c lrslong.h redund.c buffer.c nash.c 2nash.c
- gcc -O3 -DTIMES -DSIGNALS -o lrs lrs.c lrslib.c lrsmp.c
- gcc -O3 -DTIMES -DSIGNALS -o redund redund.c lrslib.c lrsmp.c
- gcc -O3 -DTIMES -DSIGNALS -DLONG -o lrs1 lrs.c lrslib.c lrslong.c
- gcc -O3 -DTIMES -DSIGNALS -DLONG -o redund1 redund.c lrslib.c lrslong.c
- gcc -O3 -DLRS_QUIET -DTIMES -DSIGNALS -o nash nash.c lrslib.c lrsmp.c
- gcc -O3 -o setupnash setupnash.c lrslib.c lrsmp.c
- gcc -O3 -o setupnash2 setupnash2.c lrslib.c lrsmp.c
- gcc -Wall -O3 -o fourier fourier.c lrslib.c lrsmp.c
- gcc -O3 -o buffer buffer.c
- gcc -O3 -o 2nash 2nash.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} ${CFLAGS} -DTIMES -DSIGNALS -o lrs lrs.c lrslib.c lrsmp.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} ${CFLAGS} -DTIMES -DSIGNALS -o redund redund.c lrslib.c lrsmp.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} ${CFLAGS} -DTIMES -DSIGNALS -DLONG -o lrs1 lrs.c lrslib.c lrslong.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} ${CFLAGS} -DTIMES -DSIGNALS -DLONG -o redund1 redund.c lrslib.c lrslong.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} ${CFLAGS} -DLRS_QUIET -DTIMES -DSIGNALS -o nash nash.c lrslib.c lrsmp.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} ${CFLAGS} -o setupnash setupnash.c lrslib.c lrsmp.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} ${CFLAGS} -o setupnash2 setupnash2.c lrslib.c lrsmp.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} -Wall ${CFLAGS} -o fourier fourier.c lrslib.c lrsmp.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} ${CFLAGS} -o buffer buffer.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} ${CFLAGS} -o 2nash 2nash.c
gmp: fourier.c 2gnash.c lrs.c redund.c lrslib.h lrslib.c lrsgmp.h lrsgmp.c nash.c
- gcc -O3 -static -DTIMES -DSIGNALS -DGMP -I${INCLUDEDIR} lrs.c lrslib.c lrsgmp.c -L${LIBDIR} -lgmp -o glrs
- gcc -O3 -static -DTIMES -DSIGNALS -DGMP -I${INCLUDEDIR} redund.c lrslib.c lrsgmp.c -L${LIBDIR} -lgmp -o gredund
- gcc -O3 -static -DLRS_QUIET -DTIMES -DSIGNALS -DGMP -I${INCLUDEDIR} nash.c lrslib.c lrsgmp.c -L${LIBDIR} -lgmp -o gnash
- gcc -O3 -static -DTIMES -DSIGNALS -DGMP -I${INCLUDEDIR} fourier.c lrslib.c lrsgmp.c -L${LIBDIR} -lgmp -o gfourier
- gcc -O3 -o buffer buffer.c
- gcc -O3 -o 2gnash 2gnash.c
- gcc -O3 -static -DTIMES -DSIGNALS -DGMP -I${INCLUDEDIR} fourier.c lrslib.c lrsgmp.c -L${LIBDIR} -lgmp -o gfourier
+ ${CC} ${CPPFLAGS} ${LDFLAGS} ${CFLAGS} -DTIMES -DSIGNALS -DGMP lrs.c lrslib.c lrsgmp.c ${LDFLAGS} -lgmp -o glrs
+ ${CC} ${CPPFLAGS} ${LDFLAGS} ${CFLAGS} -DTIMES -DSIGNALS -DGMP redund.c lrslib.c lrsgmp.c ${LDFLAGS} -lgmp -o gredund
+ ${CC} ${CPPFLAGS} ${LDFLAGS} ${CFLAGS} -DLRS_QUIET -DTIMES -DSIGNALS -DGMP nash.c lrslib.c lrsgmp.c ${LDFLAGS} -lgmp -o gnash
+ ${CC} ${CPPFLAGS} ${LDFLAGS} ${CFLAGS} -DTIMES -DSIGNALS -DGMP fourier.c lrslib.c lrsgmp.c ${LDFLAGS} -lgmp -o gfourier
+ ${CC} ${CPPFLAGS} ${LDFLAGS} ${CFLAGS} -o buffer buffer.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} ${CFLAGS} -o 2gnash 2gnash.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} ${CFLAGS} -DTIMES -DSIGNALS -DGMP fourier.c lrslib.c lrsgmp.c -lgmp -o gfourier
gnash: lrslib.h lrslib.c lrsgmp.h lrsgmp.c nash.c 2gnash.c
- gcc -O3 -static -DLRS_QUIET -DTIMES -DSIGNALS -DGMP -I${INCLUDEDIR} nash.c lrslib.c lrsgmp.c -L${LIBDIR} -lgmp -o gnash
- gcc -O3 -o 2gnash 2gnash.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} ${CFLAGS} -DLRS_QUIET -DTIMES -DSIGNALS -DGMP nash.c lrslib.c lrsgmp.c ${LDFLAGS} -lgmp -o gnash
+ ${CC} ${CPPFLAGS} ${LDFLAGS} ${CFLAGS} -o 2gnash 2gnash.c
all64: lrs.c lrslib.c lrslib.h lrsmp.c lrsmp.h lrslong.c lrslong.h redund.c buffer.c
- gcc -DTIMES -DSIGNALS -DB64 -O3 -o lrs lrs.c lrslib.c lrsmp.c
- gcc -DTIMES -DSIGNALS -DB64 -O3 -o redund redund.c lrslib.c lrsmp.c
- gcc -DTIMES -DSIGNALS -DLONG -DB64 -O3 -o lrs1 lrs.c lrslib.c lrslong.c
- gcc -DTIMES -DSIGNALS -DLONG -DB64 -O3 -o redund1 redund.c lrslib.c lrslong.c
- gcc -O3 -o buffer buffer.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} -DTIMES -DSIGNALS -DB64 ${CFLAGS} -o lrs lrs.c lrslib.c lrsmp.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} -DTIMES -DSIGNALS -DB64 ${CFLAGS} -o redund redund.c lrslib.c lrsmp.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} -DTIMES -DSIGNALS -DLONG -DB64 ${CFLAGS} -o lrs1 lrs.c lrslib.c lrslong.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} -DTIMES -DSIGNALS -DLONG -DB64 ${CFLAGS} -o redund1 redund.c lrslib.c lrslong.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} ${CFLAGS} -o buffer buffer.c
ansi: lrs.c lrslib.c lrslib.h lrsmp.c lrsmp.h lrslong.c lrslong.h redund.c buffer.c nash.c
- gcc -ansi -DTIMES -O3 -o lrs lrs.c lrslib.c lrsmp.c
- gcc -ansi -DTIMES -O3 -o redund redund.c lrslib.c lrsmp.c
- gcc -ansi -DTIMES -DLONG -O3 -o lrs1 lrs.c lrslib.c lrslong.c
- gcc -ansi -DTIMES -DLONG -O3 -o redund1 redund.c lrslib.c lrslong.c
- gcc -O3 -o buffer buffer.c
- gcc -Wall -ansi -O3 -o nash nash.c lrslib.c lrsmp.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} -ansi -DTIMES ${CFLAGS} -o lrs lrs.c lrslib.c lrsmp.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} -ansi -DTIMES ${CFLAGS} -o redund redund.c lrslib.c lrsmp.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} -ansi -DTIMES -DLONG ${CFLAGS} -o lrs1 lrs.c lrslib.c lrslong.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} -ansi -DTIMES -DLONG ${CFLAGS} -o redund1 redund.c lrslib.c lrslong.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} ${CFLAGS} -o buffer buffer.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} -Wall -ansi ${CFLAGS} -o nash nash.c lrslib.c lrsmp.c
nosigs: lrs.c lrslib.c lrslib.h lrsmp.c lrsmp.h lrslong.c lrslong.h redund.c buffer.c
- gcc -ansi -O3 -o lrs lrs.c lrslib.c lrsmp.c
- gcc -ansi -O3 -o redund redund.c lrslib.c lrsmp.c
- gcc -ansi -O3 -DLONG -o lrs1 lrs.c lrslib.c lrslong.c
- gcc -ansi -O3 -DLONG -o redund1 redund.c lrslib.c lrslong.c
- gcc -ansi -O3 -o buffer buffer.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} -ansi ${CFLAGS} -o lrs lrs.c lrslib.c lrsmp.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} -ansi ${CFLAGS} -o redund redund.c lrslib.c lrsmp.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} -ansi ${CFLAGS} -DLONG -o lrs1 lrs.c lrslib.c lrslong.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} -ansi ${CFLAGS} -DLONG -o redund1 redund.c lrslib.c lrslong.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} -ansi ${CFLAGS} -o buffer buffer.c
lrs: lrs.c lrslib.c lrslong.c lrsmp.c
- gcc -Wall -ansi -O3 -o lrs lrs.c lrslib.c lrsmp.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} -Wall -ansi ${CFLAGS} -o lrs lrs.c lrslib.c lrsmp.c
redund: redund.c lrslib.c lrslong.c lrsmp.c
- gcc -Wall -ansi -O3 -o redund redund.c lrslib.c lrsmp.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} -Wall -ansi ${CFLAGS} -o redund redund.c lrslib.c lrsmp.c
nash: setupnash2.c setupnash.c nash.c lrslib.c lrsmp.c 2nash.c
- gcc -Wall -DTIMES -ansi -O3 -o nash nash.c lrslib.c lrsmp.c
- gcc -Wall -o setupnash setupnash.c lrslib.c lrsmp.c
- gcc -Wall -o setupnash2 setupnash2.c lrslib.c lrsmp.c
- gcc -O3 -o 2nash 2nash.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} -Wall -DTIMES -ansi ${CFLAGS} -o nash nash.c lrslib.c lrsmp.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} -Wall -o setupnash setupnash.c lrslib.c lrsmp.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} -Wall -o setupnash2 setupnash2.c lrslib.c lrsmp.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} ${CFLAGS} -o 2nash 2nash.c
fourier: fourier.c lrslib.c lrslong.c lrsmp.c
- gcc -Wall -O3 -o fourier fourier.c lrslib.c lrsmp.c
- gcc -O3 -static -DTIMES -DSIGNALS -DGMP -I${INCLUDEDIR} fourier.c lrslib.c lrsgmp.c -L${LIBDIR} -lgmp -o gfourier
+ ${CC} ${CPPFLAGS} ${LDFLAGS} -Wall ${CFLAGS} -o fourier fourier.c lrslib.c lrsmp.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} ${CFLAGS} -DTIMES -DSIGNALS -DGMP fourier.c lrslib.c lrsgmp.c -lgmp -o gfourier
demo: lpdemo.c chdemo.c vedemo.c lrslib.c lrslong.c lrsmp.c
- gcc -Wall -ansi -O3 -o lpdemo lpdemo.c lrslib.c lrsmp.c
- gcc -Wall -ansi -O3 -o vedemo vedemo.c lrslib.c lrsmp.c
- gcc -Wall -ansi -O3 -o chdemo chdemo.c lrslib.c lrsmp.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} -Wall -ansi ${CFLAGS} -o lpdemo lpdemo.c lrslib.c lrsmp.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} -Wall -ansi ${CFLAGS} -o vedemo vedemo.c lrslib.c lrsmp.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} -Wall -ansi ${CFLAGS} -o chdemo chdemo.c lrslib.c lrsmp.c
float: float2rat.c rat2float.c lrsmp.c
- gcc -DLRSMP -Wall -ansi -o float2rat float2rat.c lrsmp.c
- gcc -DLRSMP -Wall -ansi -o rat2float rat2float.c lrsmp.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} -DLRSMP -Wall -ansi -o float2rat float2rat.c lrsmp.c
+ ${CC} ${CPPFLAGS} ${LDFLAGS} -DLRSMP -Wall -ansi -o rat2float rat2float.c lrsmp.c
clean:
rm -rf lrs lrs1 redund redund1 buffer glrs gredund
@@ -105,8 +94,8 @@ clean:
rm -rf nash gnash setupnash setupnash2
foo: foo.c lrslib.h lrslib.c lrsmp.h lrsmp.c
- gcc -O3 -static -DTIMES -DSIGNALS foo.c lrslib.c lrsmp.c -L${LIBDIR} -o foo
+ ${CC} ${CPPFLAGS} ${LDFLAGS} ${CFLAGS} -DTIMES -DSIGNALS foo.c lrslib.c lrsmp.c ${LDFLAGS} -o foo
gfoo: foo.c lrslib.h lrslib.c lrsgmp.h lrsgmp.c
- gcc -O3 -static -DTIMES -DSIGNALS -DGMP -I${INCLUDEDIR} foo.c lrslib.c lrsgmp.c -L${LIBDIR} -lgmp -o gfoo
+ ${CC} ${CPPFLAGS} ${LDFLAGS} ${CFLAGS} -DTIMES -DSIGNALS -DGMP foo.c lrslib.c lrsgmp.c -lgmp -o gfoo

9
math/lrs/pkg/DESCR Normal file
View File

@ -0,0 +1,9 @@
lrslib Ver 4.2 is a self-contained ANSI C implementation as a callable
library of the reverse search algorithm for vertex enumeration/convex
hull problems and comes with a choice of three arithmetic packages.
Input file formats are compatible with Komei Fukuda's cdd package. All
computations are done exactly in either multiple precision or fixed
integer arithmetic. Output is not stored in memory, so even problems
with very large output sizes can sometimes be solved. The program is
intended for Unix/Linux platforms, but will compile using gcc/cygwin on
Windows.

7
math/lrs/pkg/PLIST Normal file
View File

@ -0,0 +1,7 @@
@comment $OpenBSD: PLIST,v 1.1.1.1 2011/10/07 08:58:42 edd Exp $
@bin bin/2gnash
@bin bin/buffer
@bin bin/gfourier
@bin bin/glrs
@bin bin/gnash
@bin bin/gredund