DataMuseum.dk

top - download

    Length: 1277 (0x4fd)
    Types: TextFile
    Names: »B«

└─⟦d10a02448⟧ Bits:30000409 8mm tape, Rational 1000, ENVIRONMENT, D_12_7_3
    └─ ⟦fc9b38f02⟧ »DATA« 
        └─⟦9b46a407a⟧ 
            └─⟦12c68c704⟧ 
                └─⟦this⟧ 
└─⟦5f3412b64⟧ Bits:30000745 8mm tape, Rational 1000, ENVIRONMENT 12_6_5 TOOLS 
    └─ ⟦91c658230⟧ »DATA« 
        └─⟦458657fb6⟧ 
            └─⟦220843204⟧ 
                └─⟦this⟧ 

TextFile

with Compilation;
with File_Utilities;
with Io;
with Library;
with Log;
with System_Utilities;

procedure Code (Unit        : String  := "<IMAGE>";
                Limit       : String  := "<WORLDS>";
                Effort_Only : Boolean := False;
                Response    : String  := "<PROFILE>") is
    Log_Name : constant String := System_Utilities.User_Name & "_Code_Log";
    procedure Echo_Line (S : String) is
    begin
        Io.Echo_Line (S);
    exception
        when others =>
            null;
    end Echo_Line;
begin
    Library.Context ("$", Response => "");
    Echo_Line ("Code log generated in " & Log_Name & '.');
    Log.Set_Log (Log_Name);
    Compilation.Make (Unit        => Unit,
                      Limit       => Limit,
                      Effort_Only => Effort_Only,
                      Goal        => Compilation.Coded,
                      Response    => Response);
    Log.Reset_Log;
    begin
        if File_Utilities.Found ("++*", Log_Name, Ignore_Case => False) > 0 then
            Echo_Line (System_Utilities.Job_Name &
                       " has generated errors in " & Log_Name);
        end if;
    exception
        when others =>
            Echo_Line ("Unable to check " & Log_Name & " for errors.");
    end;
end Code;