[go: up one dir, main page]
Menu ▾ ▴

/trunk/src/aldor Commit Log


Commit Date  
[r1662] by hemmecke

make clean now does not remove cliques.as

 2013-10-12 20:16:13 Tree
[r1656] by whebisch

Update Aldor interface for free Aldor.

 2013-09-27 19:53:51 Tree
[r1329] by hemmecke

forget about blacklisted domains

 2012-02-07 20:32:50 Tree
[r1268] by hemmecke

enable Matrix over SemiRng+AbelianMonoid

 2012-01-06 14:03:33 Tree
[r1264] by hemmecke

enable configuration of local aldor source files

If a checkout of trunk (revision 23) of the Aldor SVN repository is in
directory D then "configure --enable-aldor=$D" will take the necessary
sourcefiles from this directory instead of contacting the Internet.

 2012-01-06 14:02:06 Tree
[r1263] by hemmecke

allow ALDORSOURCE in local file system

This allows for "make ALDORSOURCE=$HOME/path/to/aldor-trunk" in order
to build libaldor.al and use the necessary .as files from the local
file system.

 2012-01-06 14:01:42 Tree
[r1027] by whebisch

Change 'axiom' to 'fricas'.

 2011-03-29 15:04:20 Tree
[r701] by whebisch

Fix Aldor breakage.

 2009-10-21 17:18:47 Tree
[r694] by whebisch

Remove useless trace commands.

 2009-10-20 20:57:50 Tree
[r677] by hemmecke

- Refactor generation of runtime lib for aldor-interface
from src/aldor/Makefile.in into Makefile3.in and remove
reference to attributes.
- Remove use of |fileConstructors|, generate domains.mk
without .spad file access.

 2009-10-09 22:42:26 Tree
Older >