CVSROOT: /cvs Module name: ports Changes by: [email protected] 2011/09/08 08:48:25
Modified files:
math/prover9/ladr: Makefile
Removed files:
math/prover9/ladr/patches: patch-apps_src_Makefile
patch-ladr_Makefile
patch-mace4_src_Makefile
patch-provers_src_Makefile
Log message:
properly honor CC/CFLAGS
