mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-20 00:21:35 +00:00
Code Issues Releases Activity

Remove the GUI option

Browse Source 
The GUI is currently non functionnal on FreeBSD from my testing and depends
on deprecated gnome2 libraries
This commit is contained in:
Baptiste Daroussin 2021-02-04 10:01:16 +00:00
parent ca0ad1e463
commit f1d3f8fb41
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=564009
2 changed files with 1 additions and 24 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
math/alt-ergo/Makefile
View File

@ -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>

1
math/alt-ergo/pkg-plist
View File

@ -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