diff options
author | Baptiste Daroussin <bapt@FreeBSD.org> | 2021-02-04 10:01:16 +0000 |
---|---|---|
committer | Baptiste Daroussin <bapt@FreeBSD.org> | 2021-02-04 10:01:16 +0000 |
commit | f1d3f8fb415595cfedb6f3ac5790834010bc1bd9 (patch) | |
tree | d9d2bfbc24fb9b9f32e9747e7394a5b314c07932 /math | |
parent | ca0ad1e463e3db9e0c9909109eb7d5460a5b8394 (diff) | |
download | ports-f1d3f8fb415595cfedb6f3ac5790834010bc1bd9.tar.gz ports-f1d3f8fb415595cfedb6f3ac5790834010bc1bd9.zip |
Notes
Diffstat (limited to 'math')
-rw-r--r-- | math/alt-ergo/Makefile | 24 | ||||
-rw-r--r-- | math/alt-ergo/pkg-plist | 1 |
2 files changed, 1 insertions, 24 deletions
diff --git a/math/alt-ergo/Makefile b/math/alt-ergo/Makefile index c0028012dcb8..353c22a4859e 100644 --- a/math/alt-ergo/Makefile +++ b/math/alt-ergo/Makefile @@ -3,7 +3,7 @@ PORTNAME= alt-ergo PORTVERSION= 0.95.2 -PORTREVISION= 2 +PORTREVISION= 3 CATEGORIES= math MASTER_SITES= http://alt-ergo.ocamlpro.com/http/alt-ergo-${PORTVERSION}/ @@ -27,19 +27,6 @@ USE_OCAML= yes ALL_TARGET= opt pack xpack META INSTALL_TARGET= install install-pack-opt install-pack-byte -OPTIONS_DEFINE= GUI -OPTIONS_DEFAULT=GUI -OPTIONS_SUB= yes - -.include <bsd.port.options.mk> - -.if ${PORT_OPTIONS:MGUI} -BUILD_DEPENDS += lablgtk2:x11-toolkits/ocaml-lablgtk2 -RUN_DEPENDS+= lablgtk2:x11-toolkits/ocaml-lablgtk2 -ALL_TARGET+= gui -INSTALL_TARGET+= install-gui -.endif - post-patch: @${REINPLACE_CMD} -e '\|^# installation|,\|^# documentation|{ \ \|cp -f.*$$(BINDIR)|s|cp -f|${INSTALL_SCRIPT}|; \ @@ -50,13 +37,4 @@ post-patch: @${REINPLACE_CMD} -Ee 's@(\+|/)(lablgtk2)@\1site-lib/\2@' \ ${WRKSRC}/configure -.if ${PORT_OPTIONS:MGUI} -pre-configure: - @(if [ ! -e ${LOCALBASE}/${OCAML_SITELIBDIR}/lablgtk2/lablgtksourceview2.cmxa ] ; then \ - ${ECHO_MSG} "==> The WITH_GUI option for ${PKGNAME} requires" ; \ - ${ECHO_MSG} "==> x11-toolkits/ocaml-lablgtk2 to be built" ; \ - ${ECHO_MSG} "==> WITH_GTKSOURCEVIEW2" ; \ - exit 1; fi) -.endif - .include <bsd.port.mk> diff --git a/math/alt-ergo/pkg-plist b/math/alt-ergo/pkg-plist index 26b1971e2421..b8335ee4735e 100644 --- a/math/alt-ergo/pkg-plist +++ b/math/alt-ergo/pkg-plist @@ -1,5 +1,4 @@ bin/alt-ergo -%%GUI%%bin/altgr-ergo lib/ocaml/alt-ergo/META lib/ocaml/alt-ergo/altErgo.cmi lib/ocaml/alt-ergo/altErgo.cmo |