16 lines
646 B
Plaintext
16 lines
646 B
Plaintext
LICENSE := MiniSat
|
|
VERSION := 3.0
|
|
DOWNLOADS := glucose.archive
|
|
|
|
URL(glucose) := http://www.labri.fr/perso/lsimon/downloads/softwares/glucose-$(VERSION).tgz
|
|
SHA(glucose) := 3c4598e1ee911b4dfaedc0ce296d5eb8a9a2796e
|
|
DIR(glucose) := src/lib/glucose
|
|
|
|
PATCHES := $(addprefix src/lib/glucose/,c++11.patch pow.patch map.patch buffer_size.patch copy_constructor.patch cputime.patch)
|
|
|
|
DIRS := include/glucose/core include/glucose/mtl include/glucose/utils
|
|
|
|
DIR_CONTENT(include/glucose/core) := src/lib/glucose/core/*.h
|
|
DIR_CONTENT(include/glucose/mtl) := src/lib/glucose/mtl/*.h
|
|
DIR_CONTENT(include/glucose/utils) := src/lib/glucose/utils/*.h
|