README 980 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 11 12 13 14 15
  ** copy the fontawesome webfont locally :
     mkdir fontawesome
     cd fontawesome
     wget -nd https://www.lri.fr/~kn/trywhy3/fontawesome/fontawesome.css
     wget -nd https://www.lri.fr/~kn/trywhy3/fontawesome/fontawesome-webfont.woff

16
  ** install Alt-Ergo
17

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

20
       src/trywhy3/alt-ergo-1.00-private-2015-01-29/
21

22
     - apply the patch alt-ergo.patch
23

24 25
       cd <alt-ergo dir>
       patch -p1 < ../alt-ergo.patch
26

27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42
     - 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
43 44 45


* install : TODO