16 lines
670 B
Plaintext
16 lines
670 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) := e721005535f8ca96d58c0c7e3923924e948a231fb305960b1bf4af49cbc936a6
|
|
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
|