diff options
Diffstat (limited to 'coq.itarget')
| -rw-r--r-- | coq.itarget | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/coq.itarget b/coq.itarget index 7488f421..dd8b2590 100644 --- a/coq.itarget +++ b/coq.itarget @@ -1,3 +1,8 @@ -binaries -plugins/plugins.otarget +# 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 |