953d5285f4
using GMP as backend. This is needed by frama-c because num was removed from the OCaml compiler distribution. Marked as BROKEN till the next OCaml upgrade. OK jca@
39 lines
764 B
Makefile
39 lines
764 B
Makefile
# $OpenBSD: Makefile,v 1.1.1.1 2018/07/11 15:09:00 chrisz Exp $
|
|
|
|
BROKEN = in preparation for OCaml 4.06
|
|
COMMENT = arbitrary precision integer and rational arithmetic
|
|
CATEGORIES = math
|
|
|
|
V = 1.7
|
|
GH_ACCOUNT = ocaml
|
|
GH_PROJECT = Zarith
|
|
GH_TAGNAME = release-${V}
|
|
DISTNAME = ${GH_PROJECT}-${V}
|
|
PKGNAME = ocaml-zarith-${V}
|
|
HOMEPAGE = https://github.com/ocaml/num/
|
|
|
|
MAINTAINER = Christopher Zimmermann <chrisz@openbsd.org>
|
|
|
|
|
|
# LGPLv2
|
|
PERMIT_PACKAGE_CDROM = Yes
|
|
|
|
MODULES = lang/ocaml
|
|
|
|
BUILD_DEPENDS = sysutils/findlib
|
|
|
|
WANTLIB = gmp
|
|
LIB_DEPENDS = devel/gmp
|
|
|
|
USE_GMAKE = Yes
|
|
|
|
CONFIGURE_STYLE = simple
|
|
CONFIGURE_ENV = CPPFLAGS="-I${LOCALBASE}/include" \
|
|
LDFLAGS="-L${LOCALBASE}/lib"
|
|
MAKE_ENV = MAKE="$(MAKE_PROGRAM)"
|
|
|
|
TEST_TARGET = tests
|
|
|
|
|
|
.include <bsd.port.mk>
|