diff options
author | Stephane Glondu <steph@glondu.net> | 2012-01-07 17:59:15 +0100 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2012-01-07 18:20:56 +0100 |
commit | 2ee61d5995ef572f0124691f10630305a59b4f73 (patch) | |
tree | eaeffb7be70ce770a822108f8a527312f67fd8b2 /INSTALL.macosx | |
parent | ba021624830c7ad5df0688d144e4305551ae1a5f (diff) | |
parent | de109d8c0c68f569b907e6e24271f259ba28888e (diff) |
Prepare upload to squeeze-backportsdebian/8.3.pl3+dfsg-1_bpo60+1
Diffstat (limited to 'INSTALL.macosx')
-rw-r--r-- | INSTALL.macosx | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/INSTALL.macosx b/INSTALL.macosx index 0750064d..43390616 100644 --- a/INSTALL.macosx +++ b/INSTALL.macosx @@ -1,4 +1,30 @@ INSTALLATION PROCEDURE FOR THE PRECOMPILED VERSION OF COQ SYSTEM UNDER MACOS X ------------------------------------------------------------------------------ +Here comes an bundle version of CoqIdE that you can save anywhere you want on +your disk. + +Its main limitation is that double clicking and drap&drop on the application +icon of a .v file won't open the file ! You must use Menu/Ctrl-o to open a +file. (GTK-OSX handles it but lablgtk don't as far as I know.) + +An other limitation is that Sortcut aren't MacOS like ! (The question is again +how to make "" throw CaML.) + +Notice that "Compile" and "File"/"Export to" menu items should work (modulo +(pdf)latex finding). + +if you want to use coqide from your terminal add + +alias coqide /YOUR_INSTALL_DIRECTORY/CoqIdEv8.3.app/Contents/MacOS/startcoqide + +at your ~/.profile. ("YOUR_INSTALL_DIRECTORY" is often "Applications"). Options +such as -I/-R should work on this setting. + +You could also add +/YOUR_INSTALL_DIRECTORY/CoqIdEv8.3.app/Contents/Resources/bin/ at your path to +use coqtop/coq-tex/coq... from any terminal but CAUTION coqide of that directory +won't work. + + See up-to-date informations on http://coq.inria.fr/download. |