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

Submitter:  Cyril Adrian <cadrian>
Submitted:  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:  _92048 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>
Group 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>
Group administrator


(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

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)

    There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.


    Follow 5 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2018-09-14 ramack Assigned toramack _92048
    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.12