source: Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/cerco-executable/ @ 3215

Last change on this file since 3215 was 3215, checked in by sacerdot, 8 years ago
  • Version dumped to 0.2
  • New executable cerco to be used with why3
File size: 134 bytes
2        mkdir -p @prefix@/share/frama-c-cost-plugin/
3        cp makefile.cerco @prefix@/share/frama-c-cost-plugin/
4        cp cerco @prefix@/bin/
Note: See TracBrowser for help on using the repository browser.