blob: a42b12b3f06abc31c9d69ab9dd3af2288752f1a9 (
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
|
2014-08-16 Gabriel Dos Reis <gdr@integrable-solutions.net>
* config/open-axiom.m4: Do not waste time checking for standard
integer types since we are requiring at least C++11.
2014-02-21 Gabriel Dos Reis <gdr@integrable-solutions.net>
* config/open-axiom.m4 (OPENAXIOM_CANONICAL_SYSTEM): Set derived
OpenAxiom-specified src and target directory variables too.
Remove most build directory variables.
2014-02-21 Gabriel Dos Reis <gdr@integrable-solutions.net>
* config/open-axiom.m4 (OPENAXIOM_CANONICAL_SYSTEM): Set derived
OpenAxiom-specified build directories too.
2014-02-10 Gabriel Dos Reis <gdr@integrable-solutions.net>>
* config/open-axiom.m4: Clean up global variable names.
* configure.ac: Likewise.
2014-02-03 Gabriel Dos Reis <gdr@integrable-solutions.net>
* config/open-axiom.m4: Clean up global variable names.
* config/setup-dep.mk: Likewise.
* config/var-def.mk: Likewise.
* configure.ac: Likewise.
2014-02-02 Gabriel Dos Reis <gdr@integrable-solutions.net>
* config/open-axiom.m4 (OPENAXIOM_CHECK_IO): Prefer mktemp,
mkdtemp, mkstemp over tempnam.
|