Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
why3
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
126
Issues
126
List
Boards
Labels
Service Desk
Milestones
Merge Requests
16
Merge Requests
16
Operations
Operations
Incidents
Packages & Registries
Packages & Registries
Container Registry
Analytics
Analytics
Repository
Value Stream
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Commits
Issue Boards
Open sidebar
Why3
why3
Commits
c148dc7b
Commit
c148dc7b
authored
May 25, 2018
by
Guillaume Melquiond
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Accommodate gitlab's strange indentation rules.
parent
dea8848e
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
53 additions
and
53 deletions
+53
-53
src/trywhy3/README.md
src/trywhy3/README.md
+53
-53
No files found.
src/trywhy3/README.md
View file @
c148dc7b
Instructions to build TryWhy3
-----------------------------
*
Install Ace
*
Install Ace
-
get the sources of Ace and put them in directory
`src/trywhy3/`
- get the sources of Ace and put them in directory `src/trywhy3/`
cd src/trywhy3
git clone git://github.com/ajaxorg/ace-builds.git
cd src/trywhy3
git clone git://github.com/ajaxorg/ace-builds.git
-
copy the
`mode-why3.js`
file to the
`ace-builds/src-min-noconflict/`
directory:
- copy the `mode-why3.js` file to the `ace-builds/src-min-noconflict/` directory:
cp mode-why3.js ace-builds/src-min-noconflict
cp mode-why3.js ace-builds/src-min-noconflict
*
Install Alt-Ergo
*
Install Alt-Ergo
-
get the sources of Alt-Ergo 2.0 and put them in directory
`src/trywhy3/`
,
e.g., in
`src/trywhy3/alt-ergo/`
- get the sources of Alt-Ergo 2.0 and put them in directory `src/trywhy3/`,
e.g., in `src/trywhy3/alt-ergo/`
cd src/trywhy3
wget http://alt-ergo.ocamlpro.com/http/alt-ergo-2.0.0/alt-ergo-2.0.0.tar.gz
tar xzf alt-ergo-2.0.0.tar.gz
mv alt-ergo-2.0.0 alt-ergo
cd src/trywhy3
wget http://alt-ergo.ocamlpro.com/http/alt-ergo-2.0.0/alt-ergo-2.0.0.tar.gz
tar xzf alt-ergo-2.0.0.tar.gz
mv alt-ergo-2.0.0 alt-ergo
-
apply the patch
`alt-ergo.patch`
- apply the patch `alt-ergo.patch`
cd alt-ergo
patch -p1 < ../alt-ergo.patch
cd alt-ergo
patch -p1 < ../alt-ergo.patch
-
compile Alt-Ergo
- compile Alt-Ergo
./configure
make byte
./configure
make byte
*
If necessary, change the following line of
`Makefile.in`
to point to Alt-Ergo sources
*
If necessary, change the following line of
`Makefile.in`
to point to Alt-Ergo sources
ALTERGODIR=src/trywhy3/alt-ergo
ALTERGODIR=src/trywhy3/alt-ergo
*
[optional] If you want to build a standalone trywhy3 that can be
run without a web server, the example files must be present at
compile time. See the step 'To add predefined examples' in the
'customization' section below and populate the
`examples/`
directory of the trywhy3 source directory accordingly
*before*
building trywhy3.
*
[optional] If you want to build a standalone trywhy3 that can be
run without a web server, the example files must be present at
compile time. See the step 'To add predefined examples' in the
'customization' section below and populate the
`examples/`
directory of the trywhy3 source directory accordingly
*before*
building trywhy3.
*
Compile with
*
Compile with
make trywhy3
make trywhy3
*
You can build a package with
*
You can build a package with
make trywhy3_package
make trywhy3_package
this creates a tarball containing a directory
`trywhy3/`
which you can put on a web server.
You may want to add a symbolic link from
`index.html`
to
`trywhy3.html`
(or rename the file).
this creates a tarball containing a directory `trywhy3/` which you can put on a web server.
You may want to add a symbolic link from `index.html` to `trywhy3.html` (or rename the file).
Customization
-------------
*
Install a file
`trywhy3_help.html`
that will be shown when clicking
the help button.
*
Install a file
`trywhy3_help.html`
that will be shown when clicking
the help button.
*
To change the theme used by the ace editor widget, add the
relevant
`theme-*.js`
file to the
`ace-builds/src-min-noconflict/`
directory and update the variable definition at the top of the
`trywhy3.html`
file.
*
To change the theme used by the ace editor widget, add the
relevant
`theme-*.js`
file to the
`ace-builds/src-min-noconflict/`
directory and update the variable definition at the top of the
`trywhy3.html`
file.
*
To change the look and feel of the rest of the application, edit
the file
`trywhy3_custom.css`
.
*
To change the look and feel of the rest of the application, edit
the file
`trywhy3_custom.css`
.
*
To add some predefined examples, put some
`.mlw`
or
`.why`
files in the
`examples/`
subdirectory and generate an index as follows:
*
To add some predefined examples, put some
`.mlw`
or
`.why`
files in the
`examples/`
subdirectory and generate an index as follows:
cp some_file.mlw examples/
cd examples/
../gen_index.sh *.mlw > index.txt
cp some_file.mlw examples/
cd examples/
../gen_index.sh *.mlw > index.txt
*
[optional] If you want trywhy3 to only use its embedded files,
change the variable declaration
`var load_embedded_files = false;`
to
`var load_embedded_files = true;`
in the header section of
`trywhy3.html`
.
*
[optional] If you want trywhy3 to only use its embedded files,
change the variable declaration
`var load_embedded_files = false;`
to
`var load_embedded_files = true;`
in the header section of
`trywhy3.html`
.
Note that this is the default behavior when
`trywhy3.html`
is opened from
a
`file://`
URL rather than a
`http(s)://`
URL, regardless of the value of
the
`load_embedded_files`
variable.
Note that this is the default behavior when `trywhy3.html` is opened from
a `file://` URL rather than a `http(s)://` URL, regardless of the value of
the `load_embedded_files` variable.
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment