diff options
| author | Edwin Groothuis <edwin@FreeBSD.org> | 2006-05-13 04:15:53 +0000 |
|---|---|---|
| committer | Edwin Groothuis <edwin@FreeBSD.org> | 2006-05-13 04:15:53 +0000 |
| commit | 28dd10dcb401c431386390d9b259d3f7330f6f2b (patch) | |
| tree | 7faca4f0ee68daa442a553a83311caed144b3e09 /science/cdcl | |
| parent | 0101e2c34264299778df1cb6ea451b51dabf4ded (diff) | |
| download | ports-28dd10dcb401c431386390d9b259d3f7330f6f2b.tar.gz ports-28dd10dcb401c431386390d9b259d3f7330f6f2b.zip | |
Notes
Diffstat (limited to 'science/cdcl')
| -rw-r--r-- | science/cdcl/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/science/cdcl/Makefile b/science/cdcl/Makefile index 8d1d931df6dc..997fbd4fe026 100644 --- a/science/cdcl/Makefile +++ b/science/cdcl/Makefile @@ -21,7 +21,6 @@ USE_GNOME= gtk20 .endif USE_X_PREFIX= yes -USE_REINPLACE= yes GNU_CONFIGURE= yes CONFIGURE_ARGS= --prefix=${PREFIX} --exec-prefix=${PREFIX} --libdir=${PREFIX}/lb/${PORTNAME}-${PORTVERSION} --with-x |