source: Deliverables/D5.1/external-tools/README @ 3534

Last change on this file since 3534 was 3107, checked in by regisgia, 8 years ago
  • External tools to compile the plugin.
File size: 1.2 KB
Line 
1This directory contains version of external programs that allows to compile the Cost frama-c plugin (the Nitrogen version) and to run the tests.
2
3experiments/frama-c_plugin/trunk/Nitrogen/
4experiments/frama-c_plugin/trunk/Nitrogen/plugin/tests
5
6All the programs are installed in the local usr directory in this directory.
7
8
9The instructions for frama-c why3 why2 (in this order):
10- export PATH=$PWD/usr/bin:$PATH  (do that in the directory of this readme)
11- untar with "tar -xjf" to uncompress the archive in their own directory
12- run autoconf if needed
13- frama-c why2: ./configure --prefix=$PWD/../../usr  (and install all the needed library)
14- why3: ./configure --enable-local
15- make
16- make install
17
18Then:
19- make -C why3/why test-runstrat.opt
20
21Detect the provers:
22- why3config
23
24Go in experiments/compiler/trunk/8051:
25- ./configure --prefix ../../../external_programs/usr
26- make
27- make install
28
29Go in experiments/frama-c_plugin/trunk/Nitrogen:
30- Don't forget "experiments/external_programs/usr/bin" must be in the path
31- ./configure --prefix $PWD/../../../external_programs/usr
32- make
33- make install
34
35Go in experiments/frama-c_plugin/trunk/Nitrogen/plugin/tests/success:
36- make -k -j 4 (other your number of processor)
37- make showresult
Note: See TracBrowser for help on using the repository browser.