Mon Aug 29 16:14:41 2022 UTC ()
frama-c: add missing ocaml-num dependency

Now fails later.

This should be updated to frama-c-25.0


(wiz)
diff -r1.103 -r1.104 pkgsrc/devel/frama-c/Makefile

cvs diff -r1.103 -r1.104 pkgsrc/devel/frama-c/Makefile (expand / switch to unified diff)

--- pkgsrc/devel/frama-c/Makefile 2022/05/24 18:51:47 1.103
+++ pkgsrc/devel/frama-c/Makefile 2022/08/29 16:14:41 1.104
@@ -1,29 +1,30 @@ @@ -1,29 +1,30 @@
1# $NetBSD: Makefile,v 1.103 2022/05/24 18:51:47 jaapb Exp $ 1# $NetBSD: Makefile,v 1.104 2022/08/29 16:14:41 wiz Exp $
2# 2#
3 3
4DISTNAME= frama-c-Phosphorus-20170501 4DISTNAME= frama-c-Phosphorus-20170501
5PKGNAME= ${DISTNAME:S/-Phosphorus//} 5PKGNAME= ${DISTNAME:S/-Phosphorus//}
6PKGREVISION= 35 6PKGREVISION= 35
7CATEGORIES= devel 7CATEGORIES= devel
8MASTER_SITES= https://frama-c.com/download/ 8MASTER_SITES= https://frama-c.com/download/
9 9
10MAINTAINER= tonio@NetBSD.org 10MAINTAINER= tonio@NetBSD.org
11HOMEPAGE= https://frama-c.com/ 11HOMEPAGE= https://frama-c.com/
12COMMENT= Extensible platform dedicated to source-code analysis of C software 12COMMENT= Extensible platform dedicated to source-code analysis of C software
13LICENSE= gnu-lgpl-v2 13LICENSE= gnu-lgpl-v2
14 14
15USE_TOOLS+= gmake autoconf 15USE_TOOLS+= gmake autoconf
16GNU_CONFIGURE= yes 16GNU_CONFIGURE= yes
17 17
18OCAML_USE_FINDLIB= yes 18OCAML_USE_FINDLIB= yes
19 19
20.include "options.mk" 20.include "options.mk"
21 21
22# WARNING: you must build ocamlgraph with ocaml-lablgtk support 22# WARNING: you must build ocamlgraph with ocaml-lablgtk support
23# (not the default) or the build fails with missing module "Dgraph". 23# (not the default) or the build fails with missing module "Dgraph".
24 24
25.include "../../devel/ocamlgraph/buildlink3.mk" 25.include "../../devel/ocamlgraph/buildlink3.mk"
 26.include "../../math/ocaml-num/buildlink3.mk"
26.include "../../math/ocaml-zarith/buildlink3.mk" 27.include "../../math/ocaml-zarith/buildlink3.mk"
27 28
28.include "../../lang/ocaml/ocaml.mk" 29.include "../../lang/ocaml/ocaml.mk"
29.include "../../mk/bsd.pkg.mk" 30.include "../../mk/bsd.pkg.mk"