2015-07-10 09:49:26 +00:00
|
|
|
# $NetBSD: Makefile,v 1.4 2015/07/10 09:49:26 thomasklausner Exp $
|
2011-05-21 19:14:41 +00:00
|
|
|
|
|
|
|
DISTNAME= alt-ergo-0.93
|
|
|
|
CATEGORIES= devel
|
|
|
|
MASTER_SITES= http://ergo.lri.fr/http/
|
|
|
|
|
|
|
|
MAINTAINER= MarkoSchuetz@web.de
|
|
|
|
HOMEPAGE= http://ergo.lri.fr/http/
|
|
|
|
COMMENT= Automatic theorem prover for program verification
|
|
|
|
|
|
|
|
USE_TOOLS+= gmake
|
|
|
|
|
|
|
|
GNU_CONFIGURE= yes
|
|
|
|
USE_LANGUAGES= c
|
|
|
|
|
|
|
|
|
|
|
|
.include "../../lang/ocaml/buildlink3.mk"
|
2015-07-10 09:49:26 +00:00
|
|
|
.include "../../devel/ocamlgraph/buildlink3.mk"
|
2011-05-21 19:14:41 +00:00
|
|
|
.include "../../devel/nspr/buildlink3.mk"
|
2014-10-10 14:03:21 +00:00
|
|
|
.include "../../x11/ocaml-lablgtk/buildlink3.mk"
|
2011-05-21 19:14:41 +00:00
|
|
|
.include "../../mk/bsd.pkg.mk"
|