| @@ -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 | |
4 | DISTNAME= frama-c-Phosphorus-20170501 | | 4 | DISTNAME= frama-c-Phosphorus-20170501 |
5 | PKGNAME= ${DISTNAME:S/-Phosphorus//} | | 5 | PKGNAME= ${DISTNAME:S/-Phosphorus//} |
6 | PKGREVISION= 35 | | 6 | PKGREVISION= 35 |
7 | CATEGORIES= devel | | 7 | CATEGORIES= devel |
8 | MASTER_SITES= https://frama-c.com/download/ | | 8 | MASTER_SITES= https://frama-c.com/download/ |
9 | | | 9 | |
10 | MAINTAINER= tonio@NetBSD.org | | 10 | MAINTAINER= tonio@NetBSD.org |
11 | HOMEPAGE= https://frama-c.com/ | | 11 | HOMEPAGE= https://frama-c.com/ |
12 | COMMENT= Extensible platform dedicated to source-code analysis of C software | | 12 | COMMENT= Extensible platform dedicated to source-code analysis of C software |
13 | LICENSE= gnu-lgpl-v2 | | 13 | LICENSE= gnu-lgpl-v2 |
14 | | | 14 | |
15 | USE_TOOLS+= gmake autoconf | | 15 | USE_TOOLS+= gmake autoconf |
16 | GNU_CONFIGURE= yes | | 16 | GNU_CONFIGURE= yes |
17 | | | 17 | |
18 | OCAML_USE_FINDLIB= yes | | 18 | OCAML_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" |