File: INSTALL.aldor

package info (click to toggle)
fricas 1.3.6-5
  • links: PTS
  • area: main
  • in suites: bullseye, sid
  • size: 117,640 kB
  • sloc: lisp: 606,654; ansic: 36,919; sh: 3,994; makefile: 2,342; javascript: 1,381; awk: 965
file content (55 lines) | stat: -rw-r--r-- 1,574 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
53
54
55
Aldor (http://www.aldor.org) was originally invented to be the next
generation compiler for Axiom.

Since FriCAS is a fork of Axiom, Aldor programs can be run inside FriCAS.

The following criteria have to be met.

   Aldor must be locally installed and the aldor executable must be
   available through the PATH environment variable.
   The command `aldor --print-confvar datadir` must return the path
   to the include and lib directory, i.e. $datadir/include/aldor.conf and
   $datadir/lib/libfoam.al must be available.

Note that building Aldor interface uses more than 1.6 GB disc space.
Since currently building Aldor interface requires building FriCAS
together you need about 2.4 GB free disc space.

Suggestion for building the aldor interface:

1. Configure a VPATH (or out-of-source) build of FriCAS.

   cd /path/to/builddir
   /path/to/fricas-src/configure --prefix=/path/to/installdir --enable-aldor

2. Start the build.

   cd /path/to/builddir
   make

3. If "make" finished successfully then type "make install". Then
   FriCAS and the Aldor interface is installed.

If something does not work, ask at fricas-devel@googlegroups.com.

In order to test if everything went OK, try to compile the following
file from within FriCAS by starting fricas and entering

  )co fib.as
  fib 5

on the fricas command line.



---BEGIN fib.as
#include "fricas"
fib(n: Integer): Integer == {
        n < 0 => 0;
        n < 3 => 1;
        fib(n-1) + fib(n-2);
}
---END fib.as

Note that this program is by design inefficient, because it recomputes
values again and again.