source: git/misc/build_partition @ b6c5b9e

spielwiese
Last change on this file since b6c5b9e was b6c5b9e, checked in by Hans Schoenemann <hannes@…>, 8 years ago
small misc, Singular modules
  • Property mode set to 100644
File size: 121 bytes
RevLine 
[b6c5b9e]1gcc -shared -DDYNAMIC_VERSION -fPIC -I /tmp/wawa-i/include/singular -I /tmp/wawa-i/include partition.cc -o partition.so
2
Note: See TracBrowser for help on using the repository browser.