Created
October 2, 2020 15:57
-
-
Save shubhamkumar13/b10c577d50811da7b5c1ee074d4b3aa9 to your computer and use it in GitHub Desktop.
orun patch
This file contains hidden or 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
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