aboutsummaryrefslogtreecommitdiff
path: root/ChangeLog
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-08-26 05:06:31 +0000
committerdos-reis <gdr@axiomatics.org>2010-08-26 05:06:31 +0000
commit95feb5d4024c0d440a6891cfad6606dcb78f8b21 (patch)
tree10b3e007e1b8df0506a861d42a3feb8d9df10202 /ChangeLog
parent5a9b61c826838b7f97db1ad3b3c350482d407377 (diff)
downloadopen-axiom-95feb5d4024c0d440a6891cfad6606dcb78f8b21.tar.gz
* config/open-axiom.m4 (OPENAXIOM_BUILD_TOOLS): Check for ln -s
and sed. * config/var-def.mk (oa_target_includedir): New.
Diffstat (limited to 'ChangeLog')
-rw-r--r--ChangeLog6
1 files changed, 6 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index 8ec27773..3750f454 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2010-08-26 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
+ * config/open-axiom.m4 (OPENAXIOM_BUILD_TOOLS): Check for ln -s
+ and sed.
+ * config/var-def.mk (oa_target_includedir): New.
+
2010-08-24 Gabriel Dos Reis <gdr@cs.tamu.edu>
* config/open-axiom.m4 (OPENAXIOM_ALIGNMENT_OPERATOR): New. Check