pike.git / lib / master.pike.in

version» Context lines:

pike.git/lib/master.pike.in:1:   // -*- Pike -*-   //   // Master Control Program for Pike.   //   // This file is part of Pike. For copyright information see COPYRIGHT.   // Pike is distributed under GPL, LGPL and MPL. See the file COPYING   // for more information.   // - // $Id: master.pike.in,v 1.240 2003/02/21 17:42:21 grubba Exp $ + // $Id: master.pike.in,v 1.241 2003/02/26 16:35:09 mast Exp $      #pike __REAL_VERSION__      // Some programs destroys character pairs beginning with the currency   // symbol when running in chinese locale.   #if "ยค/" != "\244/"   #error "master.pike.in is corrupted."   #endif      // --- Some configurable parameters
pike.git/lib/master.pike.in:1808:    postparseaction="info";    break;       case "showpaths":    werror(format_paths());    exit(0);       case "execute":    random_seed(time() ^ (getpid()<<8));    argv = tmp->get_args(argv,1); + #ifdef __AUTO_BIGNUM__ +  main_resolv( "Gmp", "bignum" ); + #endif /* __AUTO_BIGNUM__ */    if(trace) predef::trace(trace);    compile_string("mixed create(int argc, array(string) argv,array(string) env){"+    opts[1]+";}")(sizeof(argv),argv,env);    exit(0);       case "preprocess": -  + #ifdef __AUTO_BIGNUM__ +  main_resolv( "Gmp", "bignum" ); + #endif /* __AUTO_BIGNUM__ */    _static_modules.files()->_stdout->write(cpp(master_read_file(opts[1]),    opts[1]));    exit(0);    }    }       argv = tmp->get_args(argv,1);    }      #ifdef __AUTO_BIGNUM__