Update minisat to use version from https://github.com/niklasso/minisat/

conda-archive · Feb 18, 2014 · 18d77c4 · 18d77c4
1 parent 104cce0
commit 18d77c4
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 9 deletions.
diff --git a/minisat/build.sh b/minisat/build.sh
@@ -1,6 +1,2 @@
-export MROOT=$SRC_DIR
-# We can also use core
-cd simp
-make rs
-mkdir -p $PREFIX/bin
-cp minisat_static $PREFIX/bin/minisat
+make config prefix=$PREFIX
+make install
diff --git a/minisat/meta.yaml b/minisat/meta.yaml
@@ -3,9 +3,13 @@ package:
   version: 2.2.0
 
 source:
-  fn: minisat-2.2.0.tar.gz
-  url: http://minisat.se/downloads/minisat-2.2.0.tar.gz
-  sha1: dfc25898bf40e00cf04252a42176e0c0600fbc90
+  git_url: https://github.com/niklasso/minisat.git # [not osx]
+  # Combines https://github.com/niklasso/minisat/pull/10 and https://github.com/niklasso/minisat/pull/4
+  git_url: https://github.com/asmeurer/minisat.git # [osx]
+  git_branch: osx # [osx]
+
+build:
+  number: 1
 
 test:
   files: