Mentions légales du service

Skip to content
  • Andrei Paskevich's avatar
    rework configure: · b3d1d542
    Andrei Paskevich authored
    - no more version.sh, use config.ml.in and version.tex.in instead
    - dynlink compatibility is moved to config.ml
    - comment out unused sections in Makefile
    - provide the explicit --enable-ide option
    - provide the explicit --enable-plugins option
    - require at least Ocaml 3.10
    - remove *-yes and *-no targets from Makefile,
      use ifeq() instead
    b3d1d542