1. 12 Jun, 2018 1 commit
  2. 29 May, 2018 2 commits
  3. 27 May, 2018 1 commit
    • Guillaume Melquiond's avatar
      Check whether ocamlfind might have returned the actual location of nums.cma. · 31ad65d5
      Guillaume Melquiond authored
      The standard install location of the num library is $OCAMLLIB. Thus, the
      answer of ocamlfind cannot generally be trusted since it returns the
      location of the META file. Yet, on Arch Linux, nums.cma is actually stored
      next to its META file, for some reason. So, this commit makes configure
      try this location before falling back to the standard one.
      31ad65d5
  4. 16 May, 2018 7 commits
  5. 13 Apr, 2018 1 commit
  6. 09 Apr, 2018 2 commits
  7. 29 Mar, 2018 2 commits
  8. 19 Feb, 2018 1 commit
  9. 02 Feb, 2018 1 commit
  10. 24 Jan, 2018 1 commit
    • MARCHE Claude's avatar
      fix issue #69 · 0c3c4e50
      MARCHE Claude authored
      loadpath is now reset to default when using why3config --detect
      0c3c4e50
  11. 11 Jan, 2018 2 commits
  12. 26 Dec, 2017 2 commits
  13. 25 Dec, 2017 1 commit
  14. 24 Dec, 2017 8 commits
  15. 23 Dec, 2017 2 commits
  16. 22 Dec, 2017 2 commits
  17. 15 Dec, 2017 1 commit
    • MARCHE Claude's avatar
      Fix issue #50 · 886e2f47
      MARCHE Claude authored
      share/Makefile.config is created even if enable_relocation
      with the relevant info only
      886e2f47
  18. 12 Dec, 2017 1 commit
  19. 11 Dec, 2017 1 commit
  20. 08 Dec, 2017 1 commit