Fix paths in dune file
kitten.sh 6 years ago 8e1fd9b0 1e2b57b8
··· 5 5 (preprocess (pps belt.ppx))) 6 6 7 7 (copy_files ../include/rebel_native/*.{re,rei}) 8 8 - (copy_files ../operators/*.{re,rei}) 9 9 - (copy_files ../sources/*.{re,rei}) 10 10 - (copy_files ../sinks/*.{re,rei}) 11 8 (copy_files ../wonka_*.{re,rei})