|
Lines 15-26
LICENSE_PERMS= dist-mirror dist-sell pkg-mirror pkg-sell auto-accept
Link Here
|
| 15 |
|
15 |
|
| 16 |
BROKEN_powerpc64= fails to compile: Assembler messages: /tmp/camlasm2822e8.s:10348: Error: operand out of range |
16 |
BROKEN_powerpc64= fails to compile: Assembler messages: /tmp/camlasm2822e8.s:10348: Error: operand out of range |
| 17 |
|
17 |
|
| 18 |
BUILD_DEPENDS= ocaml-zarith>1.2:math/ocaml-zarith \ |
18 |
BUILD_DEPENDS= ocaml-lablgtk2>=0:x11-toolkits/ocaml-lablgtk2 \ |
| 19 |
ocaml-num>=0:math/ocaml-num \ |
19 |
ocaml-num>=0:math/ocaml-num \ |
| 20 |
ocaml-ocamlgraph>1.8:math/ocaml-ocamlgraph \ |
20 |
ocaml-ocamlgraph>1.8:math/ocaml-ocamlgraph \ |
| 21 |
ocaml-lablgtk2>=0:x11-toolkits/ocaml-lablgtk2 |
21 |
ocaml-zarith>1.2:math/ocaml-zarith |
| 22 |
RUN_DEPENDS= ocaml-ocamlgraph>1.8:math/ocaml-ocamlgraph \ |
22 |
LIB_DEPENDS= libgmp.so:math/gmp |
| 23 |
ocaml-lablgtk2>=0:x11-toolkits/ocaml-lablgtk2 |
23 |
RUN_DEPENDS= ocaml-lablgtk2>=0:x11-toolkits/ocaml-lablgtk2 \ |
|
|
24 |
ocaml-num>=0:math/ocaml-num \ |
| 25 |
ocaml-ocamlgraph>1.8:math/ocaml-ocamlgraph \ |
| 26 |
ocaml-zarith>1.2:math/ocaml-zarith |
| 24 |
|
27 |
|
| 25 |
GNU_CONFIGURE= yes |
28 |
GNU_CONFIGURE= yes |
| 26 |
GNU_CONFIGURE_MANPREFIX=${PREFIX}/share |
29 |
GNU_CONFIGURE_MANPREFIX=${PREFIX}/share |
|
Lines 35-42
post-patch:
Link Here
|
| 35 |
\|cp -f.*$$(MANDIR)|s|cp -f|${INSTALL_MAN}|; \ |
38 |
\|cp -f.*$$(MANDIR)|s|cp -f|${INSTALL_MAN}|; \ |
| 36 |
\|cp -f.*$$(LIBDIR)|s|cp -f|${INSTALL_DATA}|; }' \ |
39 |
\|cp -f.*$$(LIBDIR)|s|cp -f|${INSTALL_DATA}|; }' \ |
| 37 |
-e 's|make -C|${MAKE_CMD} -C|' \ |
40 |
-e 's|make -C|${MAKE_CMD} -C|' \ |
|
|
41 |
-e '\|echo.*requires =.*>> META|s|ocamlgraph|& zarith|' \ |
| 38 |
${WRKSRC}/Makefile.in |
42 |
${WRKSRC}/Makefile.in |
| 39 |
@${REINPLACE_CMD} -Ee 's@(\+|/)(lablgtk2)@\1site-lib/\2@' \ |
43 |
@${REINPLACE_CMD} -Ee 's@(\+|/)(lablgtk2)@\1site-lib/\2@' \ |
| 40 |
${WRKSRC}/configure |
44 |
${WRKSRC}/configure |
| 41 |
|
45 |
|
|
|
46 |
post-install: |
| 47 |
@${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/alt-ergo |
| 48 |
|
| 42 |
.include <bsd.port.mk> |
49 |
.include <bsd.port.mk> |