Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* use dune 2 * refactor fetching of dependencies (reduce duplication) * remove dune rule for data files before building since dune 2 doesn't like the symlinked data files if the rule is present
- Loading branch information
1 parent
84c3e12
commit 1c52824
Showing
1 changed file
with
11 additions
and
5 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters