source: Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/configure.ac @ 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: 280 bytes
Line 
1#
2# Autoconf
3#
4AC_INIT(configure.ac)
5
6AC_CHECK_PROGS([ACC],[acc])
7AC_SUBST(ACC)
8
9AC_CHECK_PROGS([FRAMAC],[frama-c])
10AC_SUBST(FRAMAC)
11
12AC_OUTPUT(Makefile)
13AC_OUTPUT(frama-c_jessie)
14AC_OUTPUT(wrapper/Makefile)
15AC_OUTPUT(cerco-executable/Makefile)
16AC_OUTPUT(cerco-executable/cerco)
17
Note: See TracBrowser for help on using the repository browser.