Project

General

Profile

« Previous | Next » 

Revision 9ac7ad2d

ID9ac7ad2d3206a8d0b039a38ea138a4db1bb54f79
Parent 4d631d27
Child 2c877d0b

Added by Thorsten WiƟmann about 4 years ago

Make system-includes and C++-Linker configurable

Include minisat- and caml-includes via #include <..> to make their
location in the file system configurable

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences