minor tweaks for compcert
- editing compcert.ini is no longer needed - bump up the minimum coq version that compcert 3.12 would work with with Volker Schlecht
This commit is contained in:
parent
de2c587af1
commit
4abde328ef
|
@ -8,6 +8,7 @@ GH_PROJECT = CompCert
|
||||||
GH_TAGNAME = v${V}
|
GH_TAGNAME = v${V}
|
||||||
DISTNAME = ${GH_PROJECT}-${V}
|
DISTNAME = ${GH_PROJECT}-${V}
|
||||||
PKGNAME = ${DISTNAME:L}
|
PKGNAME = ${DISTNAME:L}
|
||||||
|
REVISION = 0
|
||||||
|
|
||||||
HOMEPAGE = https://compcert.org/
|
HOMEPAGE = https://compcert.org/
|
||||||
|
|
||||||
|
@ -31,7 +32,7 @@ CONFIGURE_ARGS = -mandir ${PREFIX}/man \
|
||||||
${MACHINE_ARCH}-bsd
|
${MACHINE_ARCH}-bsd
|
||||||
|
|
||||||
BUILD_DEPENDS = lang/ocaml>=4.05 \
|
BUILD_DEPENDS = lang/ocaml>=4.05 \
|
||||||
math/coq>=8.8.0 \
|
math/coq>=8.12.0 \
|
||||||
sysutils/findlib \
|
sysutils/findlib \
|
||||||
devel/ocaml-menhir>=20190626
|
devel/ocaml-menhir>=20190626
|
||||||
|
|
||||||
|
@ -42,7 +43,5 @@ RUN_DEPENDS = lang/gcc/${MODGCC4_VERSION}
|
||||||
|
|
||||||
post-install:
|
post-install:
|
||||||
${INSTALL_DATA} ${WRKSRC}/LICENSE ${PREFIX}/share/compcert
|
${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>
|
.include <bsd.port.mk>
|
||||||
|
|
Loading…
Reference in New Issue
Block a user