diff options
| author | Baptiste Daroussin <bapt@FreeBSD.org> | 2013-09-20 20:55:04 +0000 |
|---|---|---|
| committer | Baptiste Daroussin <bapt@FreeBSD.org> | 2013-09-20 20:55:04 +0000 |
| commit | ce5e4570204c37f4ac986a2a6bc076aa911167d6 (patch) | |
| tree | 1c069c3c993156dc583330fa958afbe99bb4966e /math/alt-ergo | |
| parent | 8ac99398e2b62e1b10333d4c88ae273f4f0ed365 (diff) | |
| download | ports-ce5e4570204c37f4ac986a2a6bc076aa911167d6.tar.gz ports-ce5e4570204c37f4ac986a2a6bc076aa911167d6.zip | |
Notes
Diffstat (limited to 'math/alt-ergo')
| -rw-r--r-- | math/alt-ergo/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/math/alt-ergo/Makefile b/math/alt-ergo/Makefile index 80cf2d2f4059..92a7f1628a34 100644 --- a/math/alt-ergo/Makefile +++ b/math/alt-ergo/Makefile @@ -27,6 +27,7 @@ MAN1= alt-ergo.1 OPTIONS_DEFINE= GUI OPTIONS_DEFAULT= GUI +NO_STAGE= yes .include <bsd.port.options.mk> .if ${PORT_OPTIONS:MGUI} |