source: Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/configure.ac @ 2749

Last change on this file since 2749 was 2749, checked in by regisgia, 8 years ago
  • Updated version of the Frama-C plugin.
File size: 209 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)
15
Note: See TracBrowser for help on using the repository browser.