8 Commits (c8a4cfdb9556ae83926dd3a02925ade22733d219)

Author SHA1 Message Date
Jules Villard 2a68099640 add `make install-with-libs` back
5 years ago
Sungkeun Cho 387ef518f9 [inferbo] Revert external relational domains (apron, elina)
5 years ago
Josh Berdine cfc1c8be36 [copyright] Remove years
6 years ago
Jules Villard c2c876d435 [release] less but also more clowny way of shipping dynamic libraries
6 years ago
Jules Villard ba5ad82128 [make] support relocating libs at install time
6 years ago
Jules Villard c00b076a05 [setup] opam 2
6 years ago
Jules Villard 8bda23fadc [release] preparing for binary releases
7 years ago
Jules Villard c68b6bde15 create_binary_release.sh simple script
7 years ago