coq/dev/incdir_dune, branch master The formal proof system [dune] Fix include object dirs. 2019-04-04T00:23:40+00:00 Emilio Jesus Gallego Arias 2019-04-04T00:23:40+00:00 53be2d5c780129da79b6fa9815d5a34410bbcf5b In Dune >= 1.8 object dirs have changed; this should be stable for a while, however we want a more robust setup for sure, which I think it should be able to be implemented when we have a single build system. 
In Dune >= 1.8 object dirs have changed; this should be stable for a
while, however we want a more robust setup for sure, which I think it
should be able to be implemented when we have a single build system.
[dev] Add include versions for Dune builds. 2019-02-18T17:15:44+00:00 Emilio Jesus Gallego Arias 2019-02-12T03:32:47+00:00 fad095ccc656c5fccc5e50b36067deabde233bb3 Fixes #9537 This way, users can do: ``` dune exec coqtop.byte > Drop. # #directory "dev";; # #use "include_dune";; ``` 
Fixes #9537

This way, users can do:
```
dune exec coqtop.byte
> Drop.
 # #directory "dev";;
 # #use "include_dune";;
```