Commit graph

4 commits

Author SHA1 Message Date
Orivej Desh 7f8bc042cc obliv-c: fix build with glibc 2.26
by ignoring unavoidable but unneeded _Complex and __float128 keywords.

Upstream issue: https://github.com/samee/obliv-c/issues/48
2017-11-28 11:10:44 +00:00
Vincent Laporte 42541c4387
obliv-c: make explicit the ocamlbuild dependency 2017-10-12 06:01:24 +00:00
Michael Raskin 371a2ee707 obliv-c: 0.0pre20161001 -> 0.0pre20170827 2017-08-29 21:17:10 +02:00
Michael Raskin 667c2fb025 obliv-c: init at 0.0pre20161001 2016-10-06 17:48:05 +02:00