fritzo / pomagma

An inference engine for extensional untyped λ-calculus
Other
17 stars 2 forks source link

Get zmq 4 working on OS X #44

Closed fritzo closed 8 years ago

fritzo commented 8 years ago

Homebrew pins to zmq 4 whereas Ubuntu libzmq-dev is pinned to zmq 2 in precise & trusty. And from 2->3, zmq moved C++ bindings out of zmq.hpp to an external cppzmq/ repo.

fritzo commented 8 years ago

ZMQ3 now works on both ubuntu and os x, using the C api in zmq.h.