diff options
Diffstat (limited to 'driver/dune')
-rw-r--r-- | driver/dune | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/driver/dune b/driver/dune index 583f201..5dbfcad 100644 --- a/driver/dune +++ b/driver/dune @@ -1,9 +1,5 @@ (include_subdirs no) -(executables - (names Driver) +(executable + (name CoqupDriver) (libraries coqup)) - -(install - (section bin) - (files (Driver.exe as coqup))) |