blob: cc4fd5263c5486ede1abeada5383b4001317b6e5 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
# New ports collection makefile for: alt-ergo
# Date created: 20 December 2011
# Whom: b.f. <bf@FreeBSD.org>
#
# $FreeBSD$
#
PORTNAME= alt-ergo
PORTVERSION= 0.94
PORTREVISION= 1
CATEGORIES= math
MASTER_SITES= http://alt-ergo.lri.fr/http/ LOCAL/bf
MAINTAINER= bf@FreeBSD.org
COMMENT= An automatic theorem prover dedicated to program verification
LICENSE= CeCILL-C
LICENSE_NAME= Ce[a] C[nrs] I[nria] L[ogiciel] L[ibre] C license, version 1
LICENSE_FILE= ${WRKSRC}/CeCILL-C
LICENSE_PERMS= auto-accept
BUILD_DEPENDS= ${LOCALBASE}/lib/ocaml/ocamlgraph/graph.a:${PORTSDIR}/math/ocaml-ocamlgraph
RUN_DEPENDS= ${LOCALBASE}/lib/ocaml/ocamlgraph/graph.a:${PORTSDIR}/math/ocaml-ocamlgraph
GNU_CONFIGURE= yes
USE_GMAKE= yes
USE_OCAML= yes
MAN1= alt-ergo.1
OPTIONS= GUI "Build the GUI" on
.include <bsd.port.options.mk>
.if defined(WITH_GUI)
BUILD_DEPENDS += lablgtk2:${PORTSDIR}/x11-toolkits/ocaml-lablgtk2
RUN_DEPENDS+= lablgtk2:${PORTSDIR}/x11-toolkits/ocaml-lablgtk2
ALL_TARGET= all gui
INSTALL_TARGET = install install-gui
PLIST_SUB+= GUI=""
.else
PLIST_SUB+= GUI="@comment "
.endif
post-patch:
@${REINPLACE_CMD} -e '\|^# installation|,\|^# documentation|{ \
\|cp -f.*$$(BINDIR)|s|cp -f|${INSTALL_SCRIPT}|; \
\|cp -f.*$$(MANDIR)|s|cp -f|${INSTALL_MAN}|; \
\|cp -f.*$$(LIBDIR)|s|cp -f|${INSTALL_DATA}|; \
\|/usr/share/gtksourceview-2.0|s|/usr|${PREFIX}|; }' \
-e 's|make -C|${GMAKE} -C|' \
${WRKSRC}/Makefile.in
.if defined(WITH_GUI)
pre-configure:
@(if [ ! -e ${LOCALBASE}/lib/ocaml/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)
pre-install:
@${MKDIR} ${PREFIX}/share/gtksourceview-2.0/language-specs
.endif
.include <bsd.port.mk>
|
