2023-10-25 20:05:16 +08:00
|
|
|
--- src/dune 2023-04-25 21:12:24.000000000 +0800
|
2024-07-06 23:17:50 +08:00
|
|
|
+++ src/dune 2024-07-06 23:12:51.000000000 +0800
|
|
|
|
|
@@ -1,3 +1,4 @@
|
2023-10-25 20:05:16 +08:00
|
|
|
(library (name base_bigstring) (public_name base_bigstring)
|
2024-07-06 23:17:50 +08:00
|
|
|
(js_of_ocaml (javascript_files runtime.js)) (libraries base int_repr)
|
2023-10-25 20:05:16 +08:00
|
|
|
- (c_names base_bigstring_stubs) (preprocess (pps ppx_jane)))
|
|
|
|
|
\ No newline at end of file
|
2024-07-06 23:17:50 +08:00
|
|
|
+ (c_flags -I@PREFIX@/include/LegacySupport) (c_library_flags -lMacportsLegacySupport)
|
2023-10-25 20:05:16 +08:00
|
|
|
+ (c_names base_bigstring_stubs) (preprocess (pps ppx_jane)))
|
