d7d6ed1300
Built with cmake, installs minisat libraries (needed for a devel/stp update). Discussed with jasper@ at t2k17.
29 lines
797 B
Plaintext
29 lines
797 B
Plaintext
@comment $OpenBSD: PLIST,v 1.4 2017/08/20 16:39:44 jca Exp $
|
|
@bin bin/minisat
|
|
@bin bin/minisat_core
|
|
include/minisat/
|
|
include/minisat/core/
|
|
include/minisat/core/Dimacs.h
|
|
include/minisat/core/Solver.h
|
|
include/minisat/core/SolverTypes.h
|
|
include/minisat/mtl/
|
|
include/minisat/mtl/Alg.h
|
|
include/minisat/mtl/Alloc.h
|
|
include/minisat/mtl/Heap.h
|
|
include/minisat/mtl/IntMap.h
|
|
include/minisat/mtl/IntTypes.h
|
|
include/minisat/mtl/Map.h
|
|
include/minisat/mtl/Queue.h
|
|
include/minisat/mtl/Rnd.h
|
|
include/minisat/mtl/Sort.h
|
|
include/minisat/mtl/Vec.h
|
|
include/minisat/mtl/XAlloc.h
|
|
include/minisat/simp/
|
|
include/minisat/simp/SimpSolver.h
|
|
include/minisat/utils/
|
|
include/minisat/utils/Options.h
|
|
include/minisat/utils/ParseUtils.h
|
|
include/minisat/utils/System.h
|
|
lib/libminisat.a
|
|
@lib lib/libminisat.so.${LIBminisat_VERSION}
|