diff options
author | dos-reis <gdr@axiomatics.org> | 2011-07-07 02:43:27 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-07-07 02:43:27 +0000 |
commit | 49fd743cdd366cecf656e6c75c648e3db8a9590f (patch) | |
tree | 2f91b75ef4f61357c1ab36a8938e02c2f875bf80 /config | |
parent | 6bd583e0e2bb0f965b02c984e9027c120642b4e6 (diff) | |
download | open-axiom-49fd743cdd366cecf656e6c75c648e3db8a9590f.tar.gz |
* config/open-axiom.m4 (ac_default_prefix): Set to C:/OpenAxiom on
Windows platforms.
Diffstat (limited to 'config')
-rw-r--r-- | config/open-axiom.m4 | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/config/open-axiom.m4 b/config/open-axiom.m4 index 2e8ef1a2..4fef7459 100644 --- a/config/open-axiom.m4 +++ b/config/open-axiom.m4 @@ -566,13 +566,12 @@ dnl the system is up and running. AC_DEFUN([OPENAXIOM_HOST_EDITOR],[ AC_SUBST(oa_editor) ## On Windows system, we prefer the default installation -## location to be 'C:/Program Files/OpenAxiom', following Windows -## convention. We cannot use AC_PREFIX_DEFAULT directly as it seems -## to operate unconditionally. Therefore, we resort to this dirty -## trick stepping over Autoconf's internals. +## location to be 'C:/OpenAxiom'. We cannot use AC_PREFIX_DEFAULT +## directly as it seems to operate unconditionally. Therefore, we +## resort to this dirty trick stepping over Autoconf's internals. case $host in *mingw*) - ac_default_prefix="C:/Program Files/OpenAxiom" + ac_default_prefix="C:/OpenAxiom" AC_PATH_PROGS([oa_editor],[notepad.exe]) ;; *) |