1. 13 Jun, 2018 2 commits
  2. 12 Jun, 2018 4 commits
  3. 05 Jun, 2018 1 commit
  4. 04 Jun, 2018 1 commit
  5. 29 May, 2018 3 commits
  6. 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
  7. 17 May, 2018 2 commits
  8. 16 May, 2018 7 commits
  9. 13 Apr, 2018 1 commit
  10. 09 Apr, 2018 5 commits
  11. 29 Mar, 2018 3 commits
  12. 21 Mar, 2018 1 commit
  13. 15 Mar, 2018 1 commit
  14. 12 Mar, 2018 1 commit
  15. 09 Mar, 2018 2 commits
  16. 19 Feb, 2018 2 commits
  17. 15 Feb, 2018 1 commit
  18. 14 Feb, 2018 2 commits