Baptiste Daroussin a33191366c Convert GMAKE to MAKE_CMD ... Please note that lots of invocation of MAKE_CMD here are wrong as they do not properly respect MAKE_ENV and friends With hat: portmgr		2014-06-25 05:35:31 +00:00
..
distinfo	math/alt-ergo: Update version 0.94 => 0.95.2 and support stage	2014-06-02 23:51:07 +00:00
Makefile	Convert GMAKE to MAKE_CMD	2014-06-25 05:35:31 +00:00
pkg-descr
pkg-plist	math/alt-ergo: Update version 0.94 => 0.95.2 and support stage	2014-06-02 23:51:07 +00:00