File: INSTALL

package info (click to toggle)
gringo 3.0.4-3
  • links: PTS, VCS
  • area: main
  • in suites: wheezy
  • size: 3,116 kB
  • sloc: cpp: 45,083; ansic: 4,368; yacc: 477; makefile: 194; python: 22
file content (52 lines) | stat: -rw-r--r-- 1,673 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
1 Prerequisites
---------------

Boost (>= v1.37) - http://www.boost.org/
cmake (>= v2.6)  - http://www.cmake.org/

1.1 Optional Components
-----------------------
re2c          - http://re2c.org/
SQLite (v3.x) - http://www.sqlite.org/
MySQL         - http://www.mysql.com/
Lua    (v5.1) - http://www.lua.org/

Note that the lexer generatror re2c is only needed for the svn version 
Furthermore, the project ships with a lua library. But it is also possible
to use a lua library provided by the system.

2 Compilation
-------------

If all prerequisites are satisfied and you are running a *nix, compilation
should be as simple as typing:
	make

If you want to use a boost library that is not installed in a default 
location than you can specify its location using environtment variables:

BOOST_ROOT       - The preferred installation prefix for searching for Boost.
                   Set this if the module has problems finding the proper
                   Boost installation.

BOOST_INCLUDEDIR - Similar to BOOST_ROOT but sets the path to the include 
                   directory directly.

BOOST_LIBRARYDIR - Similar to BOOST_ROOT but sets the path to the library
                   directory directly.

To use a Boost installation in /usr/local, you should compile the project 
using:
	BOOST_ROOT=/usr/local make

2.1 Customization
-----------------
Additional options might be specified to cmake. To get an overview use
for example cmake-gui or take a look at the main cmake file.

4 Installation
--------------

If compilation succeeded, the respective build folder will contain a bin
folder with an executable, which should be copied somewhere into your path.