Revision a2b101d3
| plugins/zustre/dune.in | ||
|---|---|---|
| 6 | 6 |
(flags |
| 7 | 7 |
(:standard |
| 8 | 8 |
-warn-error -A |
| 9 |
-ccopt "-Wl,-R,'@Z3LIBPATH@'"))
|
|
| 9 |
-ccopt "-Wl,-rpath,'@Z3LIBPATH@'"))
|
|
| 10 | 10 |
(optional) |
| 11 | 11 |
) |
Also available in: Unified diff