a32b66e Update build scripts to use dune

Authored and Committed by avsej 5 years ago
1 file changed. 18 lines added. 9 lines removed.
    Update build scripts to use dune
    
        
file modified
+18 -9