diff options
| author | Wen Heping <wen@FreeBSD.org> | 2012-03-31 07:18:24 +0000 |
|---|---|---|
| committer | Wen Heping <wen@FreeBSD.org> | 2012-03-31 07:18:24 +0000 |
| commit | 27e5f738b061684c9212d6014b714a6dd5c22f20 (patch) | |
| tree | d30db2cd3211706492ae9a96b07359533dfda900 /devel/gecode | |
| parent | c351bf7680fd86aab12b86d44b4eb6127ab70072 (diff) | |
| download | ports-27e5f738b061684c9212d6014b714a6dd5c22f20.tar.gz ports-27e5f738b061684c9212d6014b714a6dd5c22f20.zip | |
Notes
Diffstat (limited to 'devel/gecode')
| -rw-r--r-- | devel/gecode/Makefile | 2 | ||||
| -rw-r--r-- | devel/gecode/distinfo | 4 | ||||
| -rw-r--r-- | devel/gecode/pkg-plist | 38 |
3 files changed, 23 insertions, 21 deletions
diff --git a/devel/gecode/Makefile b/devel/gecode/Makefile index ff17e2012939..93dcfbd86ff8 100644 --- a/devel/gecode/Makefile +++ b/devel/gecode/Makefile @@ -6,7 +6,7 @@ # PORTNAME= gecode -PORTVERSION= 3.7.2 +PORTVERSION= 3.7.3 CATEGORIES= devel MASTER_SITES= http://www.gecode.org/download/ diff --git a/devel/gecode/distinfo b/devel/gecode/distinfo index 5c1bea08a3d5..92ff53c07961 100644 --- a/devel/gecode/distinfo +++ b/devel/gecode/distinfo @@ -1,2 +1,2 @@ -SHA256 (gecode-3.7.2.tar.gz) = 838cb0e7eb6884a3a4b4aad7f07ea9c96482de952c85da270f47360dc3ded1c3 -SIZE (gecode-3.7.2.tar.gz) = 1642455 +SHA256 (gecode-3.7.3.tar.gz) = e7cc8bcc18b49195fef0544061bdd2e484a1240923e4e85fa39e8d6bb492854c +SIZE (gecode-3.7.3.tar.gz) = 1643336 diff --git a/devel/gecode/pkg-plist b/devel/gecode/pkg-plist index 864e4ac753c8..4c9bf8490737 100644 --- a/devel/gecode/pkg-plist +++ b/devel/gecode/pkg-plist @@ -1,3 +1,4 @@ +bin/mzn-gecode bin/fz include/examples/scowl.hpp include/gecode/driver.hh @@ -411,32 +412,32 @@ include/gecode/support/thread/thread.hpp include/gecode/support/thread/windows.hpp include/gecode/support/timer.hpp lib/libgecodedriver.so -lib/libgecodedriver.so.31 -lib/libgecodedriver.so.31.0 +lib/libgecodedriver.so.32 +lib/libgecodedriver.so.32.0 lib/libgecodeflatzinc.so -lib/libgecodeflatzinc.so.31 -lib/libgecodeflatzinc.so.31.0 +lib/libgecodeflatzinc.so.32 +lib/libgecodeflatzinc.so.32.0 %%GIST%%lib/libgecodegist.so -%%GIST%%lib/libgecodegist.so.31 -%%GIST%%lib/libgecodegist.so.31.0 +%%GIST%%lib/libgecodegist.so.32 +%%GIST%%lib/libgecodegist.so.32.0 lib/libgecodeint.so -lib/libgecodeint.so.31 -lib/libgecodeint.so.31.0 +lib/libgecodeint.so.32 +lib/libgecodeint.so.32.0 lib/libgecodekernel.so -lib/libgecodekernel.so.31 -lib/libgecodekernel.so.31.0 +lib/libgecodekernel.so.32 +lib/libgecodekernel.so.32.0 lib/libgecodeminimodel.so -lib/libgecodeminimodel.so.31 -lib/libgecodeminimodel.so.31.0 +lib/libgecodeminimodel.so.32 +lib/libgecodeminimodel.so.32.0 lib/libgecodesearch.so -lib/libgecodesearch.so.31 -lib/libgecodesearch.so.31.0 +lib/libgecodesearch.so.32 +lib/libgecodesearch.so.32.0 lib/libgecodeset.so -lib/libgecodeset.so.31 -lib/libgecodeset.so.31.0 +lib/libgecodeset.so.32 +lib/libgecodeset.so.32.0 lib/libgecodesupport.so -lib/libgecodesupport.so.31 -lib/libgecodesupport.so.31.0 +lib/libgecodesupport.so.32 +lib/libgecodesupport.so.32.0 %%DATADIR%%/mznlib/all_different_int.mzn %%DATADIR%%/mznlib/all_equal_int.mzn %%DATADIR%%/mznlib/among.mzn @@ -447,6 +448,7 @@ lib/libgecodesupport.so.31.0 %%DATADIR%%/mznlib/bin_packing.mzn %%DATADIR%%/mznlib/bin_packing_capa.mzn %%DATADIR%%/mznlib/bin_packing_load.mzn +%%DATADIR%%/mznlib/circuit.mzn %%DATADIR%%/mznlib/count.mzn %%DATADIR%%/mznlib/cumulative.mzn %%DATADIR%%/mznlib/decreasing_bool.mzn |