# 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 .
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback