48 lines
1.1 KiB
Makefile
48 lines
1.1 KiB
Makefile
# $OpenBSD: Makefile,v 1.6 2005/07/02 05:46:25 sturm Exp $
|
|
|
|
ONLY_FOR_ARCHS= i386
|
|
|
|
COMMENT= Prolog compiler
|
|
|
|
DISTNAME= gprolog-1.2.16
|
|
PKGNAME= ${DISTNAME}p0
|
|
CATEGORIES= lang
|
|
|
|
HOMEPAGE= http://gprolog.inria.fr/
|
|
|
|
MAINTAINER= Nuno Morgadinho <nmorgadinho@openbsd-pt.org>
|
|
|
|
# GPL
|
|
PERMIT_PACKAGE_CDROM= Yes
|
|
PERMIT_PACKAGE_FTP= Yes
|
|
PERMIT_DISTFILES_CDROM= Yes
|
|
PERMIT_DISTFILES_FTP= Yes
|
|
WANTLIB= c m
|
|
|
|
MASTER_SITES= ${MASTER_SITE_GNU:=gprolog/}
|
|
|
|
AUTOCONF_VERSION= 2.52
|
|
CONFIGURE_STYLE= autoconf dest no-autoheader
|
|
|
|
|
|
CONFIGURE_ARGS+= --with-install-dir='$${DESTDIR}${PREFIX}/libdata/gprolog' \
|
|
--without-links-dir \
|
|
--disable-ebp \
|
|
--disable-piped-consult \
|
|
--disable-gui-console \
|
|
--with-examples-dir='$${DESTDIR}${PREFIX}/share/examples/gprolog' \
|
|
--with-html-dir='$${DESTDIR}${PREFIX}/share/doc/gprolog/html' \
|
|
--with-doc-dir='$${DESTDIR}${PREFIX}/share/doc/gprolog'
|
|
|
|
WRKDIST= ${WRKDIR}/${DISTNAME}/src
|
|
|
|
INSTALL_TARGET= install-strip
|
|
|
|
post-install:
|
|
for i in gplc hexgplc gprolog pl2wam wam2ma ma2asm fd2c; do \
|
|
ln -sf ${TRUEPREFIX}/libdata/gprolog/bin/$$i ${PREFIX}/bin/$$i; \
|
|
done
|
|
|
|
|
|
.include <bsd.port.mk>
|