diff options
Diffstat (limited to 'src/prop/cryptominisat/Makefile.am')
-rw-r--r-- | src/prop/cryptominisat/Makefile.am | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/prop/cryptominisat/Makefile.am b/src/prop/cryptominisat/Makefile.am new file mode 100644 index 000000000..400d5df38 --- /dev/null +++ b/src/prop/cryptominisat/Makefile.am @@ -0,0 +1,12 @@ +# not a GNU package. You can remove this line, if +# have all needed files, that a GNU package needs +AUTOMAKE_OPTIONS = foreign 1.4 +ACLOCAL_AMFLAGS = -I m4 + +SUBDIRS = Solver mtl MTRand man +EXTRA_DIST = HOWTO_VisualCpp HOWTO_MinGW32 \ + LICENSE-GPL LICENSE-MIT TODO + +all-local: Solver + cp Solver/cryptominisat . + |