17 lines
322 B
Diff
17 lines
322 B
Diff
--- a/src/dune 2023-11-23 16:07:10.195742159 +0100
|
|
+++ b/src/dune 2023-11-23 16:07:22.055805922 +0100
|
|
@@ -1,13 +1,3 @@
|
|
-(rule
|
|
- (target iflags.sexp)
|
|
- (action (run ./discover.sh include))
|
|
-)
|
|
-
|
|
-(rule
|
|
- (target lflags.sexp)
|
|
- (action (run ./discover.sh lib))
|
|
-)
|
|
-
|
|
(library
|
|
(name readline)
|
|
(public_name readline)
|