summaryrefslogtreecommitdiff
path: root/theories
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@debian.org>2018-12-29 15:17:06 -0500
committerGravatar Benjamin Barenblat <bbaren@debian.org>2019-01-03 18:24:41 -0500
commita946e9959296cedf2540622c1b332a3ccbee4009 (patch)
tree8a728ab6273e8eb5c122337fac76782a0756451a /theories
parente23d443a3a64b30a77e8ea92f347f933a865bb99 (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 'theories')
0 files changed, 0 insertions, 0 deletions