GARNAME = coq
GARVERSION = 8.0pl2
CATEGORIES = math
MASTER_SITES = ftp://ftp.inria.fr/INRIA/coq/V$(GARVERSION)/
DISTFILES = $(DISTNAME).tar.gz
LIBDEPS = ocaml/ocaml ocaml/lablgtk

DESCRIPTION = A formal proof management system
define BLURB
 FIXME
endef

CONFIGURE_SCRIPTS = $(WORKSRC)/configure
BUILD_SCRIPTS = $(WORKSRC)/Makefile
INSTALL_SCRIPTS = $(WORKSRC)/Makefile-DESTDIR

CONFIGURE_ARGS = \
	-prefix $(prefix) \
	-emacslib $(prefix)/share/emacs/site-lisp \
	-opt -reals
BUILD_ARGS = world
DESTDIR_INSTALL_ARGS = COQINSTALLPREFIX=$(packageDESTDIR)

include ../../gar.mk