Comments (6)
For info: this has been verified with versions 22.1.1 and 24.4.1 (console and "app")
from tuareg.
Is there a way to reliably detect that the "Emacs app" is present? What is the OPAM flag to use so compilation takes place except on OSX?
from tuareg.
The easiest would be to not run the compilation by default in the
OPAM package.
Also, installation via M-x list-packages RET would eliminate
the problem.
Stefan
from tuareg.
installation via
M-x list-packages RET
would eliminate the problem.
Absolutely but they want to automate the whole installation (Tuareg being only one component).
There is already an attempt at detecting the app version on OSX. Could you please tell me how to refine it? — I do not have a mac.
from tuareg.
Indeed, that works (it is'nt yet in the OPAM package, but I had success with pinning this git); although I am not sure it is possible to use the compiled code and remain portable in the general case. In the case above, the newer version works for Emacs.app but breaks the text-mode emacs (although with a cleaner error: "file xxx was compiled for Emacs version 23 or later"). And on OSX, there may also be an Aquamacs in the mix...
Even in the general case, it's possible that the system Emacs is changed, and that may break an already compiled Tuareg. On binary distributions, this is handled with hooks that'll register all .elc and make sure they are up-to-date whenever Emacs changes, but we don't have a mechanism to track system dependencies (yet -- there a are plans for this, see https://github.com/ocaml/opam/blob/master/doc/design/depexts-plugins)
So I am afraid that the only way to guarantee it won't break, at the moment, is to install no compiled files from the OPAM package ; the post-message
may provide a hint on compiling, or installing through M-x list-packages
...
from tuareg.
The upcoming opam file only installs .el
files — as you did for earlier versions.
from tuareg.
Related Issues (20)
- "Mismatched parentheses" when closing comment HOT 1
- Un-git `tuareg-site-file.el` HOT 4
- Unbind `C-c ?` and `C-c C-h` (maybe) HOT 22
- Can't run Ocaml REPL HOT 3
- Find alternate file doesn't seem to care about tuareg-other-file-alist HOT 1
- Possible bug : missing file tuareg-compat HOT 3
- 3.0 version not tagged HOT 8
- Package cl is deprecated HOT 2
- Tuareg depends on emacs-nox HOT 3
- Triggers warning for using obsolete aliases on Emacs HOT 5
- Target newer Emacs version HOT 8
- outline mode
- Document the differences between tuareg and caml-mode HOT 5
- Completion in the *OCaml* buffer HOT 3
- tuareg.3.0.0 fails to load in emacs on macOS when installed using opam HOT 1
- How does one jump to definition? HOT 3
- Add configuration option(s?) to make highlighting behave closer to what it was like in 2.2 . HOT 2
- Use tree-sitter HOT 1
- tuareg-current-fun-name returns inaccurate results, breaking which-function-mode
- create a custom variable for process-connection-type HOT 4
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from tuareg.