Project

General

Profile

Revision a2b101d3

View differences:

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