Skip to content

Commit c02767f

Browse files
authored
Merge pull request #52 from paurkedal/dune
Switch build system to dune and dune-configurator.
2 parents 3eb82b8 + 0b9c02c commit c02767f

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

46 files changed

+147
-10835
lines changed

.gitignore

Lines changed: 1 addition & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,2 @@
1-
_build/
2-
setup.data
3-
setup.log
1+
/_build/
42
*.swp
5-
*.native
6-
*.byte
7-
*.docdir
8-
stubgen/ffi_stubgen.ml
9-
stubgen/ffi_types_stubgen.ml

Makefile

Lines changed: 0 additions & 52 deletions
This file was deleted.

_oasis

Lines changed: 0 additions & 174 deletions
This file was deleted.

0 commit comments

Comments
 (0)