VERSION = 0.94m

## I encountered a problem with certificate checking and got around it this way:
# FETCHER = wget
# FETCHOPTS += --no-check-certificate

# cddlib is now available on github, so we could switch this library to a submodule
# https://github.com/cddlib/cddlib
# https://www.inf.ethz.ch/personal/fukudak/cdd_home/
URL = http://macaulay2.com/Downloads/OtherSourceCode
ALLOPTIONS     = SUBDIRS="lib-src" gmpdir=/nowhere
CONFIGOPTIONS  = $(ALLOPTIONS)

# we build mpir as gmp statically, so we can't make a shared library here
CONFIGOPTIONS += --disable-shared

BUILDOPTIONS   = $(ALLOPTIONS)
CHECKOPTIONS   = $(ALLOPTIONS)
INSTALLOPTIONS = $(ALLOPTIONS)
PRECONFIGURE = autoreconf -vif
LICENSEFILES = COPYING
include ../Makefile.library
Makefile: @srcdir@/Makefile.in ; cd ../.. && ./config.status libraries/cddlib/Makefile
# Local Variables:
# compile-command: "make -C $M2BUILDDIR/libraries/cddlib "
# End:
