diff options
| author | bremner <bremner@09fa754a-f411-0410-976a-da6bfa213b30> | 2006-06-01 15:33:19 +0000 |
|---|---|---|
| committer | bremner <bremner@09fa754a-f411-0410-976a-da6bfa213b30> | 2006-06-01 15:33:19 +0000 |
| commit | 3b47bc4c19aed0c369d9299ecd08ce57ff3bbc8d (patch) | |
| tree | fcff994cbdb01e3061d7b1721b6eb9df68135dfb | |
| parent | 0adbe5a920fe6106109f14d6bdb28dee49cb8774 (diff) | |
git-svn-id: file:///export/data/bremner/svn/trunk/inetools@5355 09fa754a-f411-0410-976a-da6bfa213b30
| -rw-r--r-- | Makefile | 1 | ||||
| -rw-r--r-- | README | 20 |
2 files changed, 15 insertions, 6 deletions
@@ -15,6 +15,7 @@ RANLIB=ranlib LRSDIR=../lrslib # The rest of these should be ok if just uncommented. +# comment out the following to compile without multiprecision CPPFLAGS+= -I$(LRSDIR) CPPFLAGS+= -DLRSMP @@ -1,7 +1,7 @@ $Id$ -Release 0.2 +Release 0.3 This directory contains some tools for manipulating lrs/cdd ine files. @@ -20,20 +20,28 @@ At the moment there is only Current version of lrs can handle it, at least the gmp version. + rat2canon put the inequalities/vectors in a canonical form + This one only compiles with multiprecision support + I have more code around for, e.g. centering points around the origin and other simple tasks that I would be willing to shake the dust off of if there is interest. This code is released under the Gnu GPL. See COPYING. -to build: - -type make. -to build with multiprecision support: +1) to build with multiprecision support (recommended): edit the Makefile to point to your lrslib source directory, -and uncomment the lines that follow. Then type make. +type make. + +2) to build without multiprecision support + +comment out the line +CPPFLAGS+= -DLRSMP + +type make. Some things will not compile. + David Bremner bremner@unb.ca |