taskLiberty Eiffel - Tasks: task #12677, documentation of liberty.se


You are not allowed to post comments on this tracker with your current authentication level.

task #12677: documentation of liberty.se

Submitted by:  Cyril Adrian <cadrian>
Submitted on:  Fri 07 Jun 2013 09:41:05 AM UTC  
Should Start On:  Thu 06 Jun 2013 10:00:00 PM UTC Should be Finished on:  Thu 06 Jun 2013 10:00:00 PM UTC
Category:  other Priority:  5 - Normal
Status:  In Progress Percent Complete:  20%
Assigned to:  Hans Zwakenberg <hzwakenberg> Open/Closed:  Open
Fixed Release:  None Planned Release:  curtiss
Effort:  0.00

Sat 17 Aug 2013 08:44:05 PM UTC, comment #1: 

- the page http://wiki.liberty-eiffel.org/index.php/Configuration_file shall be reworked in general
- the name "liberty.se" has to be added

Raphael Mack <ramack>
Project Administrator
Fri 07 Jun 2013 09:41:05 AM UTC, original submission:  


we should document the sections and options (including their possible and default values) which are available in serc files (i. e. liberty.se)

For the best place I'm not sure.
1. the liberty.se as generated by install.sh
2. somehow in the code
3. a wiki/web page

A related question came up while I was reading the code for "jobs": We have class COMPILE, which uses the number of jobs by
max_process_count := system_tools.config.jobs
if max_process_count = 0 then
max_process_count := 1

Which means: it is read from parsed representation of the configuration and handled the default where it is used. Wouldn't it be better to improve the SERC class to provide a valid initialization with the default values?

Cyril Adrian <cadrian>
Project Administrator


No files currently attached


Depends on the following items: None found

Items that depend on this one: None found


Carbon-Copy List
  • -email is unavailable- added by ramack (Posted a comment)
  • -email is unavailable- added by cadrian (Submitted the item)

    Do you think this task is very important?
    If so, you can add your encouragement to it.
    This task has 0 encouragements so far.

    Only logged-in users can vote.




    Follow 5 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2018-09-14 ramack Assigned toramack => hzwakenberg
    2016-02-08 ramack Planned Releasebell => curtiss
    2014-08-11 ramack StatusNone => In Progress
        Percent Complete0% => 20%
    2013-10-22 cadrian Planned Releaseadler => bell

    Back to the top

    Powered by Savane 3.6