Ref maintenance notes: Installing AEtnaNova/Referee on a new machine



AEtnaNova folder set up

The content of the folder containing the main PHP file consists of the following items:

Important proviso: The information within the AEtnaNova activation stub must be manually set up so that it properly match

We omit explaining here, taking them as obvious, the access rights to be associated with each file.



Compilation

The three SETL files constituting the Referee system, which are

must be compiled in this order. For reasons explained in [Click], the name of the folder which, inside the file system, hosts the two pieces of the scenario needed for a standalone run, may need being redefined manually within the code of the SETL procedure "verifier_invoker", inside the package "verifier_top_level", before compilation.

Their compilation presupposes the presence of the following packages inside the compiled SETL library setl2.lib:

Besides these, the following files must also be available within the folder /usr/local/bin/, in order that SETL compilation on the one hand, and execution of the SETL virtual machine on the other, can be carried out:



Run-time support

The SETL library setl2.lib must be complemented with the following files within the folder /usr/local/lib/: