math/alt-ergo: fix build

This commit is contained in:
Dmitry Marakasov
2021-04-29 23:15:20 +03:00
parent e4768aedba
commit 541ea6df4e
2 changed files with 4 additions and 3 deletions
+4 -2
View File
@@ -17,8 +17,10 @@ LICENSE_PERMS= dist-mirror dist-sell pkg-mirror pkg-sell auto-accept
BROKEN_powerpc64= fails to compile: Assembler messages: /tmp/camlasm2822e8.s:10348: Error: operand out of range
BUILD_DEPENDS= ocaml-zarith>1.2:math/ocaml-zarith \
ocaml-ocamlgraph>1.8:math/ocaml-ocamlgraph
RUN_DEPENDS= ocaml-ocamlgraph>1.8:math/ocaml-ocamlgraph
ocaml-ocamlgraph>1.8:math/ocaml-ocamlgraph \
ocaml-lablgtk2>=0:x11-toolkits/ocaml-lablgtk2
RUN_DEPENDS= ocaml-ocamlgraph>1.8:math/ocaml-ocamlgraph \
ocaml-lablgtk2>=0:x11-toolkits/ocaml-lablgtk2
GNU_CONFIGURE= yes
USES= gmake
-1
View File
@@ -5,4 +5,3 @@ lib/ocaml/alt-ergo/altErgo.cmo
lib/ocaml/alt-ergo/altErgo.cmx
lib/ocaml/alt-ergo/altErgo.o
man/man1/alt-ergo.1.gz
share/gtksourceview-2.0/language-specs/alt-ergo.lang