utwente-fmt / ltsmin

The LTSmin model checking toolset
http://ltsmin.utwente.nl
BSD 3-Clause "New" or "Revised" License
52 stars 30 forks source link

ProB compilation fails on MacOS #149

Closed alaarman closed 4 years ago

alaarman commented 6 years ago

I installed czmq 4.0.2 and zmq 4.2.3

$ cd ltsmin3/src/prob-lib $ make /bin/sh ../../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I../../src/hre -I../../src -I../../src -I/opt/local/include -I/opt/local/include -g -O2 -D_THREAD_SAFE -W -Wall -pipe -MT libprob_la-prob_client.lo -MD -MP -MF .deps/libprob_la-prob_client.Tpo -c -o libprob_la-prob_client.lo test -f 'prob_client.c' || echo './'prob_client.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I../../src/hre -I../../src -I../../src -I/opt/local/include -I/opt/local/include -g -O2 -D_THREAD_SAFE -W -Wall -pipe -MT libprob_la-prob_client.lo -MD -MP -MF .deps/libprob_la-prob_client.Tpo -c prob_client.c -o libprob_la-prob_client.o ^ prob_client.c:18:5: error: unknown type name 'zctx_t' zctx_t* ctx;

This gcc bug also does not help: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82200

In file included from /usr/include/sys/cdefs.h:587:0, from /usr/include/assert.h:42, from prob_client.c:3: /usr/include/sys/syslog.h:227:124: error: expected ',' or ';' before 'asm' void syslog(int, const char *, ...) printflike(2, 3) not_tail_called DARWIN_ALIAS_STARTING(MAC_10_13, IPHONE_NA, __DARWIN_EXTSN(syslog));

Meijuh commented 6 years ago

@alaarman it looks like you are compiling with GCC, instead of clang?

alaarman commented 4 years ago

Version 3 should be used is mentioned in #170/.