• Updated MOCKA 1807 available

    From trijezdci@21:1/5 to All on Sat Jul 14 19:25:47 2018
    As I installed MOCKA for integrating it into our M2PP project's build script, I noticed some glitches and the out of date copyright notice in the sources.

    I updated the source to fix the glitches, added a copyright notice display and a version command to the interactive mode of the compiler and updated the copyright comments. I also cleaned up the formatting in those files where I made changes.

    The resulting version is available at

    https://github.com/trijezdci/Mocka_Modula-2_Compilers_and_Murus/tree/master/GMD_MocKa_Compiler/Mocka_1807

    As to the copyright situation, for those who are interested ...

    The Gesellschaft fuer Mathematik and Datenverarbeitung (GMD) that developed MOCKA and held the copyrights to it no longer exists. It was absorbed into the Fraunhofer Society (yes, those are the guys who gave us MP3) in 2001.

    To build Mocka 1807 use Mocka 1208 and the bootstrap script

    ~/mocka1807/src/mocka$ ./bootstrap
    Mocka 1208
    Options in effect: index, range, blip, elf, S, g, gc, ge, nostatic
    Current Library : /home/benjamin/mocka1807/mocka
    Secondary Libraries : /home/benjamin/mocka1807/mocka /usr/local/m2/out/mockalib
    List Script : /usr/local/m2/bin/list
    Edit Script : /usr/local/m2/bin/edit
    Link Script : /usr/local/m2/bin/link
    Asm Script : /usr/local/m2/bin/asm

    Mocka 1208
    .. Compiling Implementation of MockaShell I/0014 II/0014
    .. Linking Mocka

    The new compiler executable is now called Mocka

    ~/mocka1807/src/mocka$ ./Mocka -d /usr/local/lib/mocka
    MOCKA Modula-2 Compiler System, Version 1807
    Copyright (C) 1988-2000 by GMD. All rights reserved.
    Gesellschaft fuer Mathematik und Datenverarbeitung;
    German National Research Center for Computer Science.
    Copyright (C) 2001-2018 by Fraunhofer. All rights reserved.
    Fraunhofer-Gesellschaft zur Foerderung der angewandten Forschung;
    Fraunhofer Society for the Advancement of Applied Research.
    -info
    Compiler options in effect:
    noindex, norange, blip, noelf, noS, g, gc, ge, nostatic
    Current Library Path: .
    Secondary Libraries : /usr/local/lib/mocka /usr/local/lib/mocka/mockalib
    List Script : /usr/local/bin/mocka/list
    Edit Script : /usr/local/bin/mocka/edit
    Link Script : /usr/local/bin/mocka/link
    Assembler Script : /usr/local/bin/mocka/asm

    the new version command

    -version
    Mocka 1807


    the updated help command

    -help
    usage:
    Mocka [options] [commands] module

    options:
    -help show help
    -info show settings
    -options show active options
    -version show release version

    commands:
    d edit definition part of module
    i edit implementation part of module
    s compile definition part of module
    c compile implementation part of module
    p compile and link module
    q quit Mocka shell


    I may do some further work at some point to add a configuration file where defaults can be set, when I find the time.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From trijezdci@21:1/5 to All on Sun Jul 15 06:36:59 2018
    I forgot to mention the most important change in this version. Path defaults that are hard coded into the compiler did not comply with *nix standards.

    To follow *nix standards ...

    binaries should go into

    /usr/local/bin/mocka/

    libraries should go into

    /usr/local/lib/mocka

    sources should go into

    /usr/local/src/mocka

    In version 1807, the default paths have been changed to follow this convention.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From trijezdci@21:1/5 to All on Sun Jul 15 11:33:12 2018
    Actually, I wasn't happy with that looong URL, so I made a new repo to shorten it:

    https://github.com/trijezdci/MOCKA

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)