Admin.txt

Met deze repo doe je het volgende:

- Een binaire distro van Alpino maken, gecompileerd op Ubuntu/Xenial
    -> alpino/Alpino*.tar.gz
- AppImages maken van alto
    -> work/tools/alto/alto-x86_64.AppImage
    -> work/tools/alto/alto_v6-x86_64.AppImage
- Een image maken van Alpino in Docker, eveneens op basis van
  Ubuntu/Xenial, en die pushen naar de server

Alles gebeurt door 'make'. Run make zonder argumenten voor een lijst van
targets:

    make

Je kunt alles uitvoeren door:

    make step0    # deze moet eerst, apart
    make step9    # dit doet alle benodigde eerdere stappen, behalve step0

--------------------------------------------------------------------------------

Alhoewel dit een git-repository is is niet al het benodigde materiaal
aanwezig in git. Daarom kun je deze repository alleen gebruiken waar je
toegang hebt tot /net/corpora/docker/alpino .
Werk je elders, dan zul je bestanden uit die directory zelf moeten
kopiëren naar de juiste plek. Zie Makefile, bij step2 en step4.

Het gaat om de volgende betanden:

    - src/dbxml-6.1.4.tar.gz
    - src/sp-3.12.11-x86_64-linux-glibc2.5/*
        Dit is een kopie van de gelijknamige directory elders, met een paar
        aanpassingen.
          - InstallSICStus        aangepast
          - InstallSICStus.orig   nieuw
          - InstallSICStus.patch  nieuw, wel in git
          - install.cache.in      nieuw

--------------------------------------------------------------------------------

Van de volgende bestanden zijn nieuwere versies beschikbaar in hun
originele repo's, maar die werken niet op Ubuntu/Xenial, en de oudere
versies zijn niet in de repo's aanwezig. Dit zijn oudere versies, die ik
gelukkig nog had liggen, en daarom maar aan git heb toegevoegd:

    - src/appimagetool
    - src/linuxdeploy

--------------------------------------------------------------------------------

Niet gebruikt momenteel, maar voor de zekerheid toch maar bewaard:

    - src/perl.tar.gz