IABSD.fr/ports/math/coq

Branch : - branch - master - tag -

• Show log

  Commit

• Author : krw
  Date : 2016-06-24 15:59:11
  Hash : f5fd6f0f
  Message : Upgrade Ocaml to 4.3.0 and tweak ports the minimal amount to keep them all compiling. Tweaks include updating ocaml-batteries 2.3.1 -> 2.5.0 ocaml-lwt 2.4.8 -> 2.5.2 ocaml-ppx-tools 0.99.2 -> 4.03.0 ocaml-camlp4 4.02+6 -> 4.03+1 utop 1.15 -> 1.19.2 and fixes to coccinelle and wyrd to let them build on bytecode archs. Other necessary tweaks from the various homes of the projects. Everything still builds on amd64 (native and bytecode) and sparc64 (bytecode). ok anil@ sthen@ so final 4.3.0 tweaks can be done in-tree.

• Files
• Makefile
• distinfo
• patches
• pkg