cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Frama-c needs findlib at runtime otherwise it errors out.

Browse Source 
OK landry@
This commit is contained in:
pirofti 2019-11-10 14:23:45 +00:00
parent e04ea93bae
commit bb186efe76
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
devel/frama-c/Makefile
View File

@ -1,4 +1,4 @@
# $OpenBSD: Makefile,v 1.21 2019/09/26 09:46:10 chrisz Exp $
# $OpenBSD: Makefile,v 1.22 2019/11/10 14:23:45 pirofti Exp $
BROKEN-i386 = ld: error: undefined symbol: ml_as_z_pred, etc
@ -10,7 +10,7 @@ CATEGORIES = devel
GH_ACCOUNT = Frama-C
GH_PROJECT = Frama-C-snapshot
GH_TAGNAME = 19.0
REVISION = 1
REVISION = 2
DISTNAME = frama-c-${GH_TAGNAME}-Potassium
PKGNAME = frama-c-${GH_TAGNAME}
@ -30,11 +30,11 @@ RUN_DEPENDS = x11/lablgtk3 \
devel/ocaml-graph \
math/graphviz \
math/ocaml-zarith \
devel/ocaml-yojson
BUILD_DEPENDS = ${RUN_DEPENDS} \
devel/ocaml-yojson \
sysutils/findlib
BUILD_DEPENDS = ${RUN_DEPENDS}
USE_GMAKE = Yes
TEST_TARGET = oracles tests