blob: dd8b25905cdeb725e9b44eb04fd3d1d3f8dcb6c3 (
plain)
1
2
3
4
5
6
7
8
|
# NB: for the moment we start with bytecode compilation
# for early error detection in .ml
binariesbyte
plugins/pluginsbyte.otarget
binariesopt
plugins/pluginsopt.otarget
theories/theories.otarget
plugins/pluginsvo.otarget
|