1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-22 00:35:15 +00:00
freebsd-ports/math/alt-ergo
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