Compilation de demexp--stable 0.6 sous Mac OS X 10.3.9

Pour compiler demexp sous Mac, voici la marche à suivre. Cette procédure a été testée sous Mac OS X 10.3.9 mais a priori tout laisse croire que cela fonctionnera pour d’autres versions de Mac OS X. N’hésitez pas à nous contacter pour nous signaler un problème de compilation.

On part du principe qu’on veut installer à la fois le client et le serveur. Pour n’installer que le client, par exemple, certaines dépendances sont inutiles.

Voici ce dont vous aurez besoin :

• des outils de compilations habituels : pour cela, il vous faut bien évidemment les developer tools. Il faut avoir installer le serveur X11 d’Apple et les bibliothèques de développement qui vont avec.

• un certain nombre de bibliothèques (disponibles via Fink) :
  • gtk+2, gtk+2-dev, gtk+2-shlibs
  • pcre, pcre-bin, pcre-shlibs
  • expat, expat-shlibs

• une distribution de LaTeX. Par exemple, tetex disponible via Fink.

• Ocaml 3.09.1 au moins, et les sources corrspondantes. Téléchargez-les ici, décompressez et suivez les instructions du fichier INSTALLATION fourni. Ne détruisez pas le répertoire contenant les sources pour l’instant.

• Findlib. Téléchargez-le ici. Décompressez-le, puis faites

    configure
    make all
    make opt
    make install

• LablGtk2. Téléchargez-le ici. Décompressez-le, puis faites

    configure
    make world
    make install

• Noweb. Rendez-vous sur le serveur ftp ftp://ftp.dante.de/, naviguez jusqu’au répertoire tex-archive/web/noweb/src/ et téléchargez tout le contenu du répertoire. À l’endroit correspondant à votre installation LaTeX, créez un répertoire noweb : par exemple : cd /sw/local/teTex/share/texmf.tetex/tex/latex/ puis mkdir noweb. Ensuite, dans le Makefile de noweb, modifier manuellement les variables suivantes pour qu’elles correspondent à ceci :

    CC=gcc
    LIBSRC=awk
    BIN=/usr/local/bin/
    LIB=/usr/local/lib/noweb
    MAN=/usr/local/man/noweb
    TEXINPUTS=/sw/local/teTex/share/texmf.tetex/tex/latex/noweb
    ELISP=/dev/null

Supprimez les variables ICONC et ICONT du Makefile puis faites

    make all install

• Gz. Téléchargez-le ici. Décompressez-le, puis faites

    configure --with-findlib
    make all
    make install

• PCRE. Téléchargez-le ici. Décompressez-le. Si vous avez installé pcre avec Fink, il vous faut modifier le fichier Makefile.conf : décommentez et instanciez les variables suivantes comme ceci :

   export INCDIRS := /sw/include/
   export LIBDIRS := /sw/lib/

puis faites

    make
    make install

• OcamlExpat. Téléchargez-le ici. Décompressez-le. Si vous avez installé expat avec Fink, il vous faut modifier le fichier Makefile : incstanciez les variables suivantes comme ceci :

   EXPAT_LIBDIR=/sw/lib
   EXPAT_INCDIR=/sw/include

puis faites

   make depend
   make allopt
   make doc
   make install

• Equeue. Téléchargez-le ici. Décompressez-le puis faites

   configure -with-equeue-gtk2
   make all
   make opt
   make install

• RPC. Téléchargez-le ici. Décompressez-le puis faites

   configure
   make all
   make opt
   make install

• OcamlNet. Téléchargez-le ici. Décompressez-le puis rendez-vous dans le répertoire src et faites

   configure
   make all
   make opt
   make install

• Ulex. Téléchargez-le ici. Décompressez-le puis faites

   make all.opt
   make install

• PXP. Téléchargez-le ici. Décompressez-le puis faites

   configure
   make all
   make opt
   make install

• Netclient. Téléchargez-le ici. Décompressez-le puis faites

   make all
   make opt
   make install

• Inifiles. Téléchargez-le ici. Décompressez-le puis faites

   make all
   make opt
   make install

• Wdialog. Téléchargez-le ici. Décompressez-le puis faites

   configure
   make all
   make opt
   make install

• Cduce. Téléchargez-le ici. Décompressez-le puis faites

   configure --mliface=REMPLACEZ_CECI_PAR_LE_CHEMIN_D_ACCES_AUX_SOURCES_DE_CAML
   make all
   make install

Enfin, on peut compiler demexp lui-même.

• Demexp. Téléchargez-le ici. Décompressez-le puis faites

   configure
   Supprimer tous les "-warn-error A" dans le Makefile
   Remplacer les "-static" par des "-dynamic" dans le Makefile
   make client
   make bin.bc
   make install

Remarque : le serveur ne peut pas être compilé en natif pour l’instant suite à un bug que nous tentons de corriger. Il faut donc se contenter d’utiliser le serveur bytecode. Le client demexp est le fichier demexp-gtk2-client. Le serveur est le fichier demexp-server.bc