3e042ba62d
SYSTEM_VERSION didn't quite work out how we expected and it's easier|safer to do it this way than fiddle with pkg_add now.
51 lines
1.1 KiB
Makefile
51 lines
1.1 KiB
Makefile
# $OpenBSD: Makefile,v 1.7 2019/04/28 21:08:26 naddy Exp $
|
|
|
|
ONLY_FOR_ARCHS = amd64 i386
|
|
|
|
COMMENT = high assurance C compiler
|
|
|
|
V= 3.5
|
|
REVISION = 1
|
|
GH_ACCOUNT = AbsInt
|
|
GH_PROJECT = CompCert
|
|
GH_TAGNAME = v${V}
|
|
DISTNAME = ${GH_PROJECT}-${V}
|
|
PKGNAME = ${DISTNAME:L}
|
|
|
|
HOMEPAGE = http://compcert.inria.fr/
|
|
|
|
CATEGORIES = lang
|
|
|
|
MAINTAINER = Daniel Dickman <daniel@openbsd.org>
|
|
|
|
# INRIA Non-Commercial License Agreement.
|
|
PERMIT_PACKAGE_CDROM = no commercial use
|
|
PERMIT_PACKAGE_FTP = Yes
|
|
|
|
WANTLIB += c m
|
|
|
|
COMPILER = ports-gcc
|
|
|
|
USE_GMAKE = Yes
|
|
|
|
CONFIGURE_STYLE = simple
|
|
CONFIGURE_ARGS = -prefix ${WRKINST}${PREFIX} \
|
|
-no-standard-headers \
|
|
${MACHINE_ARCH}-bsd
|
|
|
|
BUILD_DEPENDS = lang/ocaml>=4.02 \
|
|
math/coq>=8.6.1 \
|
|
devel/ocaml-menhir>=20181113p0
|
|
|
|
RUN_DEPENDS = lang/gcc/${MODGCC4_VERSION}
|
|
|
|
post-extract:
|
|
sed -i -e 's/gcc/egcc/g' ${WRKSRC}/configure
|
|
|
|
post-install:
|
|
${INSTALL_DATA} ${WRKSRC}/LICENSE ${PREFIX}/share/compcert
|
|
sed -i -e "s,^stdlib_path=.*,stdlib_path=${TRUEPREFIX}/lib," \
|
|
${PREFIX}/share/compcert/compcert.ini
|
|
|
|
.include <bsd.port.mk>
|