Pass correct flag to ocamlopt to take care of PIE systems.
authorKim Nguyễn <kn@lri.fr>
Mon, 17 Apr 2017 12:17:21 +0000 (14:17 +0200)
committerKim Nguyễn <kn@lri.fr>
Mon, 17 Apr 2017 12:17:21 +0000 (14:17 +0200)
commitb73ad7605777c49c65673e34f6f9ee635053db13
tree75f91aeef5b772a246cfb93427f68d9b8cad4e79
parentb866f48cda3ad750790a71658f5a13612f93241f
Pass correct flag to ocamlopt to take care of PIE systems.
configure.in