2015-07-10 12:37:44 +00:00
|
|
|
# $NetBSD: Makefile,v 1.5 2015/07/10 12:37:44 thomasklausner Exp $
|
2011-05-21 19:14:41 +00:00
|
|
|
|
2016-09-20 02:09:24 +00:00
|
|
|
GITHUB_PROJECT= alt-ergo
|
|
|
|
|
GITHUB_TAG= 4a61506e48300b386fee5b2e09a28a045beb4491
|
|
|
|
|
DISTNAME= alt-ergo-1.01
|
2011-05-21 19:14:41 +00:00
|
|
|
CATEGORIES= devel
|
2016-09-20 02:09:24 +00:00
|
|
|
MASTER_SITES= ${MASTER_SITE_GITHUB:=OCamlPro/}
|
2011-05-21 19:14:41 +00:00
|
|
|
|
|
|
|
|
MAINTAINER= MarkoSchuetz@web.de
|
2015-07-10 12:37:44 +00:00
|
|
|
HOMEPAGE= http://ergo.lri.fr/
|
2011-05-21 19:14:41 +00:00
|
|
|
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"
|
