diff options
| author | Antoine Brodin <antoine@FreeBSD.org> | 2014-12-07 00:07:47 +0000 |
|---|---|---|
| committer | Antoine Brodin <antoine@FreeBSD.org> | 2014-12-07 00:07:47 +0000 |
| commit | 72dc15db459316d96fa41ca4e96866c4263b68f9 (patch) | |
| tree | 33213fbd97d1a79e0fa2c5c2fdf7d8e3c880fd4e /math/alt-ergo | |
| parent | 885c532f8e1e6fbaded27bb53c8a9bbadd07286e (diff) | |
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 4dc4162fa9e3..1c05080ec988 100644 --- a/math/alt-ergo/Makefile +++ b/math/alt-ergo/Makefile @@ -13,7 +13,7 @@ COMMENT= Automatic solver of mathematical formulas for program verification LICENSE= CeCILL-C LICENSE_NAME= Ce[a] C[nrs] I[nria] L[ogiciel] L[ibre] C license, version 1 LICENSE_FILE= ${WRKSRC}/LICENSE -LICENSE_PERMS= auto-accept +LICENSE_PERMS= dist-mirror dist-sell pkg-mirror pkg-sell auto-accept BUILD_DEPENDS= ocaml-zarith>1.2:${PORTSDIR}/math/ocaml-zarith \ ocaml-ocamlgraph>1.8:${PORTSDIR}/math/ocaml-ocamlgraph |