Changeset e523b07 for src/main.cc


Ignore:
Timestamp:
Sep 21, 2018, 4:09:32 PM (3 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
aaron-thesis, arm-eh, cleanup-dtors, deferred_resn, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, no_list, persistent-indexer
Children:
fcc57ba
Parents:
72b0573
Message:

Implemented the nolib configuration

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/main.cc

    r72b0573 re523b07  
    172172                        if ( filename == nullptr ) filename = argv[ optind ];
    173173                        // prelude filename comes in differently
    174                         if ( libcfap ) filename = "prelude.cf";
     174                        if ( libcfap ) filename = "prelude.cfa";
    175175                        optind += 1;
    176176                } else {                                                                                // no input file name
     
    199199                        if ( ! libcfap ) {
    200200                                // read the prelude in, if not generating the cfa library
    201                                 FILE * prelude = fopen( (PreludeDirector + "/prelude.cf").c_str(), "r" );
    202                                 assertf( prelude, "cannot open prelude.cf\n" );
     201                                FILE * prelude = fopen( (PreludeDirector + "/prelude.cfa").c_str(), "r" );
     202                                assertf( prelude, "cannot open prelude.cfa\n" );
    203203                                parse( prelude, LinkageSpec::Intrinsic );
    204204
Note: See TracChangeset for help on using the changeset viewer.