diff options
| author | Martin Wilke <miwi@FreeBSD.org> | 2014-05-26 12:28:33 +0000 |
|---|---|---|
| committer | Martin Wilke <miwi@FreeBSD.org> | 2014-05-26 12:28:33 +0000 |
| commit | e9ed236366ed8190657f95c51ec0628c6f21f3b9 (patch) | |
| tree | f7794e9d736d200d0e377d9ad097ba09aae60f01 /math/alt-ergo | |
| parent | a1ca7d805cc555fbdf112aaa951c8f2777273c38 (diff) | |
| download | ports-e9ed236366ed8190657f95c51ec0628c6f21f3b9.tar.gz ports-e9ed236366ed8190657f95c51ec0628c6f21f3b9.zip | |
Notes
Diffstat (limited to 'math/alt-ergo')
| -rw-r--r-- | math/alt-ergo/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/alt-ergo/Makefile b/math/alt-ergo/Makefile index 92a7f1628a34..126c6ba581cf 100644 --- a/math/alt-ergo/Makefile +++ b/math/alt-ergo/Makefile @@ -19,7 +19,7 @@ BUILD_DEPENDS= ${LOCALBASE}/lib/ocaml/ocamlgraph/graph.a:${PORTSDIR}/math/ocaml- RUN_DEPENDS= ${LOCALBASE}/lib/ocaml/ocamlgraph/graph.a:${PORTSDIR}/math/ocaml-ocamlgraph GNU_CONFIGURE= yes -USE_GMAKE= yes +USES= gmake USE_OCAML= yes MAN1= alt-ergo.1 |