Try this.

savonet · Aug 3, 2021 · 0339d9d · 0339d9d
1 parent a36eb32
commit 0339d9d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dune-project b/dune-project
@@ -7,7 +7,7 @@
 (maintainers "The Savonet Team <[email protected]>")
 
 (generate_opam_files true)
-(use_standard_c_and_cxx_flags true)
+(use_standard_c_and_cxx_flags false)
 
 (package
  (name samplerate)