Return to sets.rplc CVS log

Up to [local] / rpl / modules / sets

Annotation of rpl/modules/sets/sets.rplc, revision 1.1

1.1     ! bertrand    1: // Attention, la défintion de __RPLC_MAIN n'est obligatoire que parce qu'on
        !             2: // ne compile pas les bibliothèques avec mkrplso puisque à ce moment,
        !             3: // l'environnement RPL/2 n'est pas encore installé.
        !             4: 
        !             5: #define __RPLC_MAIN
        !             6: #include "src/rplexternals.h"
        !             7: #include "sets.h"
        !             8: 
        !             9: libraryName(sets);
        !            10: 
        !            11: declareSubroutine(onLoading)
        !            12:    notice(stdout, "\nSets library V1R1 for RPL/2(C) 2017 BERTRAND Joel\n");
        !            13:    notice(stdout, "Sets library loaded.\n\n");
        !            14: endSubroutine
        !            15: 
        !            16: declareSubroutine(onClosing)
        !            17:    notice(stdout, "Sets library unloaded.\n\n");
        !            18: endSubroutine
        !            19: 
        !            20: exportExternalFunctions(union);