blob: 0b564f3d9501969f17fea101a9fbac59ebe91ce2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
# $NetBSD: Makefile,v 1.5 2022/10/16 10:51:45 tonio Exp $
DISTNAME= why3-1.5.1
PKGREVISION= 1
CATEGORIES= devel
MASTER_SITES= https://why3.gitlabpages.inria.fr/releases/
MAINTAINER= jihbed.research@gmail.com
HOMEPAGE= http://why3.lri.fr/
COMMENT= Platform for deductive program verification
LICENSE= gnu-lgpl-v2.1
DEPENDS+= menhir-[0-9]*:../../devel/menhir
GNU_CONFIGURE= yes
USE_TOOLS+= gmake
CONFIGURE_ARGS+= --disable-ide
INSTALL_TARGET= install install-lib
DEPENDS+= coq>=8.6:../../lang/coq
.include "../../lang/ocaml/buildlink3.mk"
.include "../../devel/ocamlgraph/buildlink3.mk"
.include "../../math/ocaml-num/buildlink3.mk"
.include "../../mk/bsd.pkg.mk"
|
