Updated MOCKA 1807 available

[trijezdci]

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.

[trijezdci]

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.

[trijezdci]

Actually, I wasn't happy with that looong URL, so I made a new repo to shorten it:

https://github.com/trijezdci/MOCKA