190c17f228
pkgsrc changes: - depends on z3; theoretically optional but build fails without it - needs ocaml-findlib now - use ocaml.mk No upstream changelog that I can find besides the github history.
16 lines
495 B
Text
16 lines
495 B
Text
# Path to Z3 (optional)
|
|
# Note: if you actually set this, the build explodes.
|
|
#Z3 = @PREFIX@/bin/z3
|
|
# but it does need this:
|
|
Z3_DLL_DIR = @PREFIX@/lib
|
|
|
|
# lablgtk2 installation directories
|
|
LABLGTK2 = @PREFIX@/@OCAML_SITELIBDIR@/lablgtk2/
|
|
LABLLIBS = @PREFIX@/@OCAML_SITELIBDIR@/lablgtk2/
|
|
|
|
# stick in the package version to work around its own method
|
|
# (which only works for git clones)
|
|
VFVERSION = @PKGVERSION_NOREV@
|
|
|
|
# also without this the super-fragile build system is undebuggable
|
|
VERBOSE=yes
|