Ticket #12818: spkg-patch-polybori-0.8.0.p2_-_spkg_install

File spkg-patch-polybori-0.8.0.p2_-_spkg_install, 436 bytes (added by stephen, 9 years ago)

patch for spkg-install

Line 
1--- polybori-0.8.0.p2/spkg-install-orig 2012-04-08 01:15:50.000000000 +0000
2+++ polybori-0.8.0.p2/spkg-install      2012-04-08 01:16:54.000000000 +0000
3@@ -20,6 +20,8 @@
4     cp patches/SConstruct            src/${PBDIR}/SConstruct
5     cp patches/PyPolyBoRi.py         src/${PBDIR}/pyroot/polybori
6 
7+    patch -p0 < patches/Cudd.cudd.cudd.h
8+
9     cd ${WORKDIR}/${PBDIR}
10     patch -p1 < ../../patches/base_lookup.patch
11     cd ${WORKDIR}