blob: 6cfc1cf020ad6394c8d250cda804ff34af026b70 (
plain)
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
53
54
55
56
57
58
|
Requirements
============
* GCL-2.6.8pre
* Noweb
* Working C compiler
* X11 headers and libraries (optional for MinGW/MSYS)
---------------------------
-- Configuring OpenAxiom --
---------------------------
Type:
./configure
----------------------
-- Making OpenAxiom --
----------------------
Type:
make
--------------------------
-- Installing OpenAxiom --
--------------------------
Type:
make install
==
The above chain of commands should build OpenAxiom and install an
executable script called 'axiom' in /usr/local/bin. You can
configure OpenAxiom as
./configure --prefix=/banana/space
to have the script 'axiom' installed in /banana/space/bin.
About Make
==========
OpenAxiom build system requires GNU Make. It migth theoretically be
possible to cram the Makefiles so that they can work with a large set
of Make programs. However, doing so will not be cost effective. GNU
Make has been ported to virtually any system current OpenAxiom can build
one. In particular, OpenAxiom uses GCL, which in turns requires GCC.
GCC requires GNU Make. GCL too requires GNU Make. Consequently,
the GNU Make requirement is not a stringent requirement. It just
reflects reality.
So, if you're using a system where "make" is not GNU Make, then try
"gmake" instead.
Send comments and suggestions to open-axiom-devel@lists.sf.net
Gabriel Dos Reis
|
