path: root/src/prop/cryptominisat/Makefile.am

# 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 .