Skip to content

Instantly share code, notes, and snippets.

@shubhamkumar13
Created October 2, 2020 15:57
Show Gist options
  • Save shubhamkumar13/b10c577d50811da7b5c1ee074d4b3aa9 to your computer and use it in GitHub Desktop.
Save shubhamkumar13/b10c577d50811da7b5c1ee074d4b3aa9 to your computer and use it in GitHub Desktop.
orun patch
diff --git a/orun/dune b/orun/dune
index 7020053..fe7d328 100644
--- a/orun/dune
+++ b/orun/dune
@@ -1,20 +1,31 @@
(library
(name wait4)
- (c_names wait4)
- (modules ))
+ (foreign_stubs
+ (language c)
+ (names wait4))
+ (modules wait4_dummy))
(library
(name profiler)
- (c_names profiler)
+ (foreign_stubs
+ (language c)
+ (names profiler))
(c_library_flags (:include profiler_library_flags.sexp))
- (modules ))
+ (modules profiler_dummy))
(executable
(name orun)
(public_name orun)
- (libraries re str cmdliner yojson unix wait4 profiler))
+ (libraries re str cmdliner yojson unix wait4 profiler)
+ (modules orun profiler common reports))
+
+(rule
+ (with-stdout-to wait4_dummy.ml (progn)))
+
+(rule
+ (with-stdout-to profiler_dummy.ml (progn)))
(rule
(targets profiler_library_flags.sexp)
(deps (:detect_os config/detect_os.sh))
- (action (run %{detect_os})))
\ No newline at end of file
+ (action (run %{detect_os})))
diff --git a/orun/dune-project b/orun/dune-project
index f75713f..929c696 100644
--- a/orun/dune-project
+++ b/orun/dune-project
@@ -1 +1 @@
-(lang dune 1.2)
+(lang dune 2.0)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment