Attention une mise à jour du serveur va être effectuée le vendredi 16 avril entre 12h et 12h30. Cette mise à jour va générer une interruption du service de quelques minutes.

  • 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
configure.in 9.23 KB