mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-24 04:33:24 +00:00
46 lines
1.3 KiB
Makefile
46 lines
1.3 KiB
Makefile
# Created by: Garrett Wollman <wollman@FreeBSD.org>
|
|
# $FreeBSD$
|
|
|
|
PORTNAME= otter
|
|
PORTVERSION= 3.3f
|
|
PORTREVISION= 1
|
|
CATEGORIES= misc
|
|
MASTER_SITES= http://www-unix.mcs.anl.gov/AR/otter/dist33/
|
|
|
|
MAINTAINER= wollman@FreeBSD.org
|
|
COMMENT= Theorem prover and finite model searcher
|
|
|
|
MAKE_ARGS= CC="${CC}" CFLAGS="${CFLAGS}"
|
|
|
|
PROGRAMS= anldp mace2 otter
|
|
PORTDOCS= README anldp.pdf mace2.pdf otter33.pdf
|
|
|
|
OPTIONS_DEFINE= DOCS EXAMPLES
|
|
|
|
NO_STAGE= yes
|
|
.include <bsd.port.options.mk>
|
|
|
|
post-patch:
|
|
# Change "cd foo && $(MAKE)" into "$(MAKE) -C foo"
|
|
@${REINPLACE_CMD} -E 's,cd (.+) && (\$$\(MAKE\)),\2 -C \1, ; \
|
|
s,CC=gcc,,' ${WRKSRC}/Makefile
|
|
# Add missing depedencies for install targets
|
|
@${REINPLACE_CMD} -e 's,^install:,& otter,' \
|
|
${WRKSRC}/source/Makefile
|
|
@${REINPLACE_CMD} -e 's,^install:,& mace2 anldp,' \
|
|
${WRKSRC}/mace2/Makefile
|
|
|
|
do-install:
|
|
${INSTALL_PROGRAM} ${PROGRAMS:S,^,${WRKSRC}/bin/,} ${PREFIX}/bin
|
|
.if ${PORT_OPTIONS:MDOCS}
|
|
@${MKDIR} ${DOCSDIR}
|
|
${INSTALL_DATA} ${PORTDOCS:S,^,${WRKSRC}/documents/,} ${DOCSDIR}
|
|
.endif
|
|
.if ${PORT_OPTIONS:MEXAMPLES}
|
|
@${MKDIR} ${EXAMPLESDIR} ${PREFIX}/share/examples/mace2
|
|
(cd ${WRKSRC}/examples; ${PAX} -rw . ${EXAMPLESDIR})
|
|
(cd ${WRKSRC}/examples-mace2; ${PAX} -rw . ${PREFIX}/share/examples/mace2)
|
|
.endif
|
|
|
|
.include <bsd.port.mk>
|