homebrew/depqbf/.make.sh-auto


1
2
3
4
5
6

pkg:setup
(buildpath/"nenofex").install resource("nenofex")
(buildpath/"picosat-960").install resource("picosat")
./compile.sh
bin.install "depqbf"
lib.install "libqdpll.a", "libqdpll.1.0.dylib"