Project

General

Profile

« Previous | Next » 

Revision a6f9f99f

IDa6f9f99fadd649e7d2683dd5436e9b6ad2fb60e8
Parent 7198f96f
Child 7451cccf

Added by Hans-Peter Deifel 9 months ago

Remove libbdd and libglpk from C linker command

Now that GMLMIP is removed, those are not needed any more. Now cool
can really be built without GMLMIPs dependencies (as is now advertised
by the INSTALL file).

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences