naddy c3ed60809c Make better use of ports infrastructure, don't override optimization ...

flags, use -fPIC to build shared objects on all archs.

2018-11-24 00:57:15 +00:00

..

patches

Make better use of ports infrastructure, don't override optimization

2018-11-24 00:57:15 +00:00

pkg

fix SHARED_LIB setup

2018-09-15 13:27:29 +00:00

distinfo

update z3 to 4.7.1.

2018-06-18 08:15:11 +00:00

Makefile

Make better use of ports infrastructure, don't override optimization

2018-11-24 00:57:15 +00:00