And found that the version below the "gtk+ quartz only"which is x11 backend can work with xquartz,but can't make for the paparazzi.
Here is the return of the error:
File "_none_", line 1:
Error: Error on dynamically loaded library: /Users/tom/.opam/system/lib/stublibs/dlllablgtk2.so: dlopen(/Users/tom/.opam/system/lib/stublibs/dlllablgtk2.so, 138): Library not loaded: /usr/local/opt/gtk+/lib/libgtk-quartz-2.0.0.dylib
Referenced from: /Users/tom/.opam/system/lib/stublibs/dlllablgtk2.so
Reason: image not found
make: *** [paparazzicenter] Error 2
make: *** [sw/supervision] Error 2
Meanwhile,the "gtk+ quartz only"version and above which is not x11 backend can't work with xquartz,but can make the paparazzi successfully.
What is the problem?And could I fix it?Thank you!!
Felix Ruess <address@hidden> 于 2015年11月5日, 星期四, 上午 3:11 写道：
I guess you need to rebuild lablgtk via opam since you changed the gtk libs under it's ass...