Lines 10-29
COMMENT= Higher-order logic programming language Lambda Prolog
Link Here
|
10 |
LICENSE= GPLv3 |
10 |
LICENSE= GPLv3 |
11 |
LICENSE_FILE= ${WRKSRC}/COPYING |
11 |
LICENSE_FILE= ${WRKSRC}/COPYING |
12 |
|
12 |
|
13 |
BUILD_DEPENDS= ocamlopt:lang/ocaml \ |
13 |
BUILD_DEPENDS= omake:devel/omake \ |
14 |
omake:devel/omake \ |
|
|
15 |
bash:shells/bash |
14 |
bash:shells/bash |
16 |
|
15 |
|
17 |
USES= dos2unix shebangfix |
16 |
USES= dos2unix shebangfix |
18 |
DOS2UNIX_FILES= source/OMakefile |
17 |
DOS2UNIX_FILES= source/OMakefile |
19 |
SHEBANG_GLOB= run_test |
18 |
SHEBANG_GLOB= run_test |
|
|
19 |
USE_OCAML= yes |
20 |
USE_GITHUB= yes |
20 |
USE_GITHUB= yes |
21 |
|
21 |
|
22 |
EXES= tjcc tjdepend tjdis tjlink tjsim |
22 |
EXES= tjcc tjdepend tjdis tjlink tjsim |
23 |
PLIST_FILES= ${EXES:S/^/bin\//} |
23 |
PLIST_FILES= ${EXES:S/^/bin\//} |
24 |
|
24 |
|
|
|
25 |
pre-configure: |
26 |
${REINPLACE_CMD} -e '/include "caml/s|include "caml/|include <caml/|; \ |
27 |
/include <caml/s|.h"|.h>|' ${WRKSRC}/source/front/*.c |
28 |
${REINPLACE_CMD} -e '/CFLAGS +=/s|-g|${CFLAGS} -I${LOCALBASE}/${OCAML_LIBDIR} -fPIC|' \ |
29 |
${WRKSRC}/source/OMakefile |
30 |
|
25 |
do-build: |
31 |
do-build: |
26 |
@cd ${WRKSRC} && omake |
32 |
@cd ${WRKSRC} && omake --force-dotomake |
27 |
|
33 |
|
28 |
do-install: |
34 |
do-install: |
29 |
.for e in ${EXES} |
35 |
.for e in ${EXES} |
30 |
- |
|
|