cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

make coq use the ocaml module

Browse Source 
requested by and OK naddy@
This commit is contained in:
sturm 2002-12-18 09:40:07 +00:00
parent b18b3fd053
commit 18ebc748c1
3 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
math/coq/Makefile
View File

@ -1,4 +1,4 @@
# $OpenBSD: Makefile,v 1.5 2002/11/04 21:10:44 naddy Exp $ # $OpenBSD: Makefile,v 1.6 2002/12/18 09:40:07 sturm Exp $
COMMENT= "proof assistant based on a typed lambda calculus" COMMENT= "proof assistant based on a typed lambda calculus"
@ -31,19 +31,16 @@ EXTRACT_ONLY= ${DISTNAME}.tar.gz \
doc-html.tar.gz \ doc-html.tar.gz \
library.tar.gz \ library.tar.gz \
BUILD_DEPENDS= ::lang/ocaml
FAKE_FLAGS= COQINSTALLPREFIX=${WRKINST} FAKE_FLAGS= COQINSTALLPREFIX=${WRKINST}
USE_GMAKE= Yes USE_GMAKE= Yes
MODULES= ocaml
CONFIGURE_STYLE= simple CONFIGURE_STYLE= simple
## ## add -opt option if there is ocamlc.opt.
## CONFIGURE_ARGS= -prefix ${PREFIX} \
## -emacslib ${PREFIX}/share/emacs/site-lisp ## -opt
## -byteonly for architectures without Ocaml native-code compiler.
CONFIGURE_ARGS= -prefix ${PREFIX} \ CONFIGURE_ARGS= -prefix ${PREFIX} \
-emacslib ${PREFIX}/share/emacs/site-lisp -byteonly -emacslib ${PREFIX}/share/emacs/site-lisp \
${MODOCAML_NATIVE:S/Yes/-opt/:S/No/-byteonly/}
ALL_TARGET= world ALL_TARGET= world
REGRESS_TARGET= check REGRESS_TARGET= check

2
math/coq/pkg/PFRAG.native Normal file
View File

@ -0,0 +1,2 @@
@comment $OpenBSD: PFRAG.native,v 1.1 2002/12/18 09:41:07 sturm Exp $
bin/coqtop.opt

3
math/coq/pkg/PLIST
View File

@ -1,4 +1,5 @@
@comment $OpenBSD: PLIST,v 1.2 2002/11/04 21:10:44 naddy Exp $ @comment $OpenBSD: PLIST,v 1.3 2002/12/18 09:40:07 sturm Exp $
%%native%%
bin/coq-interface bin/coq-interface
bin/coq-tex bin/coq-tex
bin/coq_makefile bin/coq_makefile