README 737 Bytes
Newer Older
1 2
Instructions to build TryWhy3
-----------------------------
3

4
* in subdirectory src/trywhy3/ do
5

6
  ** install 'ace'
7

8
     git clone https://github.com/ajaxorg/ace-builds.git
9

10
  ** install Alt-Ergo
11

12
     - get sources of Alt-Ergo and put them in directory src/trywhy3/ e.g. in
13

14
       src/trywhy3/alt-ergo-1.00-private-2015-01-29/
15

16
     - apply the patch alt-ergo.patch
17

18 19
       cd <alt-ergo dir>
       patch -p1 < ../alt-ergo.patch
20

21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36
     - compile Alt-Ergo

       ./configure
       make byte


* in the main directory

   ** if necessary, change the following line of Makefile.in to point
      to Alt-Ergo sources

      ALTERGODIR=src/trywhy3/alt-ergo-1.00-private-2015-01-29

  ** compile with

      make trywhy3
37 38 39


* install : TODO