diff options
Diffstat (limited to 'src/prop/minisat/mtl/config.mk')
| -rw-r--r-- | src/prop/minisat/mtl/config.mk | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/prop/minisat/mtl/config.mk b/src/prop/minisat/mtl/config.mk new file mode 100644 index 000000000..b5c36fc6b --- /dev/null +++ b/src/prop/minisat/mtl/config.mk @@ -0,0 +1,6 @@ +## +## This file is for system specific configurations. For instance, on +## some systems the path to zlib needs to be added. Example: +## +## CFLAGS += -I/usr/local/include +## LFLAGS += -L/usr/local/lib |