diff options
author | Benjamin Barenblat <bbaren@debian.org> | 2018-12-29 15:17:06 -0500 |
---|---|---|
committer | Benjamin Barenblat <bbaren@debian.org> | 2019-01-03 18:24:41 -0500 |
commit | a946e9959296cedf2540622c1b332a3ccbee4009 (patch) | |
tree | 8a728ab6273e8eb5c122337fac76782a0756451a /pretyping/unification.mli | |
parent | e23d443a3a64b30a77e8ea92f347f933a865bb99 (diff) |
Explicitly build and install OCaml bytecode files
Bytecode is no longer built by default, but it’s still essential on
Debian platforms where OCaml has no native compiler. Run `make byte`
and `make install-byte` to install bytecode.
In the future, we may want to separate bytecode binaries and libraries
into their own packages so users on platforms with native support don’t
have to spend disk space on bytecode. For now, though, continue
bundling native code and bytecode into the same package.
Diffstat (limited to 'pretyping/unification.mli')
0 files changed, 0 insertions, 0 deletions