>> I jest tried a efricas and I have found a bug in efricas and fricas >> mode. Namely, fricas mode seem to use just 'fricas' as program name >> assuming that fricas is in the path and that the version in the path >> is the correct one. This is reasonable given no extra assumptions. >> However, one can install fricas in any strange directory and it >> should run OK regardless of the path. In such situation efricas >> fails -- emacs can not run fricas, or worse, runs wrong version >> of fricas. But efricas can know exact location of fricas, so it >> can and should use full pathname. >> >> So I think that: >> - fricas mode should take fricas location from a variable, if >> this variable is unset default to plain 'fricas' >> - efricas should set this variable to full pathname of fricas.
Interesting. :-) What variable should that be? Such a variable must then have been set by a user. No, that is certainly not the way to go. > I agree. I suggest a variable FRICASCMD, which holds the path to fricas. > This > is more flexible than FRICASROOT. Maybe we should also change the name from > AXIOMEDITOR to FRICASEDITOR globally, although this will break the > installation > of many people... Call ./configure --help and you will find --exec-prefix=EPREFIX install architecture-dependent files in EPREFIX where the standard for this is just [PREFIX]. So it is clear, where efricas and fricas live at configure time. However, I don't know whether we also support something like make exec_prefix=/path/to/some/dir install I have the tendency that we shouldn't. In fact, I don't quite understand what the gnu means with the last sentence in the following quote from http://www.gnu.org/software/automake/manual/make/Directory-Variables.html === quote exec_prefix A prefix used in constructing the default values of some of the variables listed below. The default value of exec_prefix should be $(prefix). (If you are using Autoconf, write it as [EMAIL PROTECTED]@'.) Generally, $(exec_prefix) is used for directories that contain machine-specific files (such as executables and subroutine libraries), while $(prefix) is used directly for other directories. Running `make install' with a different value of exec_prefix from the one used to build the program should not recompile the program. === end quote > BTW: ideally, maybe you could also test other shells. I vaguely recall having > problems with a tcsh. Ooops. That actually should not happen. The shell called from Make is /bin/sh and not bash or tcsh. So whenever you again encounter again a problem that you think is connected to the shell, report this as a bug. As I don't like introducing another variable, I'd like to suggest the following. Note that "make install" installs "fricas" and "efricas" into the same directory. 1) efricas finds out about the full path to efricas. ("echo $0" should be enough for that.) Then efricas calls fricas from the same path. Or falls back to "fricas" if there is not "fricas" in the path to efricas. I would even argue that the fallback is not wanted since one might call the wrong fricas. 2) Remove efricas and introduce the option "--emacs" to fricas instead. Ralf --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en -~----------~----~----~----~------~----~------~--~---
