| 1 | //
|
|---|
| 2 | // Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
|
|---|
| 3 | //
|
|---|
| 4 | // The contents of this file are covered under the licence agreement in the
|
|---|
| 5 | // file "LICENCE" distributed with Cforall.
|
|---|
| 6 | //
|
|---|
| 7 | // cfa.cc --
|
|---|
| 8 | //
|
|---|
| 9 | // Author : Peter A. Buhr
|
|---|
| 10 | // Created On : Tue Aug 20 13:44:49 2002
|
|---|
| 11 | // Last Modified By : Peter A. Buhr
|
|---|
| 12 | // Last Modified On : Sat Aug 10 08:44:15 2019
|
|---|
| 13 | // Update Count : 311
|
|---|
| 14 | //
|
|---|
| 15 |
|
|---|
| 16 | #include <iostream>
|
|---|
| 17 | #include <cstdio> // perror
|
|---|
| 18 | #include <cstdlib> // putenv, exit
|
|---|
| 19 | #include <unistd.h> // execvp
|
|---|
| 20 | #include <string> // STL version
|
|---|
| 21 | #include <string.h> // strcmp
|
|---|
| 22 | #include <algorithm> // find
|
|---|
| 23 |
|
|---|
| 24 | #include <sys/types.h>
|
|---|
| 25 | #include <sys/stat.h>
|
|---|
| 26 |
|
|---|
| 27 | #include "Common/SemanticError.h"
|
|---|
| 28 | #include "config.h" // configure info
|
|---|
| 29 |
|
|---|
| 30 |
|
|---|
| 31 | using std::cerr;
|
|---|
| 32 | using std::endl;
|
|---|
| 33 | using std::string;
|
|---|
| 34 | using std::to_string;
|
|---|
| 35 |
|
|---|
| 36 |
|
|---|
| 37 | //#define __DEBUG_H__
|
|---|
| 38 |
|
|---|
| 39 |
|
|---|
| 40 | bool prefix( string arg, string pre ) {
|
|---|
| 41 | return arg.substr( 0, pre.size() ) == pre;
|
|---|
| 42 | } // prefix
|
|---|
| 43 |
|
|---|
| 44 | bool suffix( string arg ) {
|
|---|
| 45 | enum { NumSuffixes = 3 };
|
|---|
| 46 | static const string suffixes[NumSuffixes] = { "cfa", "hfa", "ifa" };
|
|---|
| 47 | //std::cerr << arg << std::endl;
|
|---|
| 48 | size_t dot = arg.find_last_of( "." );
|
|---|
| 49 | //std::cerr << dot << " " << (dot != string::npos ? arg.substr( dot + 1 ) : "fred" ) << std::endl;
|
|---|
| 50 | if ( dot == string::npos ) return false;
|
|---|
| 51 | const string * end = suffixes + NumSuffixes;
|
|---|
| 52 | return std::find( suffixes, end, arg.substr( dot + 1 ) ) != end;
|
|---|
| 53 | } // suffix
|
|---|
| 54 |
|
|---|
| 55 |
|
|---|
| 56 | void shuffle( const char * args[], int S, int E, int N ) {
|
|---|
| 57 | // S & E index 1 passed the end so adjust with -1
|
|---|
| 58 | #ifdef __DEBUG_H__
|
|---|
| 59 | cerr << "shuffle:" << S << " " << E << " " << N << endl;
|
|---|
| 60 | #endif // __DEBUG_H__
|
|---|
| 61 | for ( int j = E-1 + N; j > S-1 + N; j -=1 ) {
|
|---|
| 62 | #ifdef __DEBUG_H__
|
|---|
| 63 | cerr << "\t" << j << " " << j-N << endl;
|
|---|
| 64 | #endif // __DEBUG_H__
|
|---|
| 65 | args[j] = args[j-N];
|
|---|
| 66 | } // for
|
|---|
| 67 | } // shuffle
|
|---|
| 68 |
|
|---|
| 69 | static inline bool dirExists( const string & path ) {
|
|---|
| 70 | struct stat info;
|
|---|
| 71 | if(stat( path.c_str(), &info ) != 0)
|
|---|
| 72 | return false;
|
|---|
| 73 | else if(info.st_mode & S_IFDIR)
|
|---|
| 74 | return true;
|
|---|
| 75 | else
|
|---|
| 76 | return false;
|
|---|
| 77 | } //dirExists
|
|---|
| 78 |
|
|---|
| 79 |
|
|---|
| 80 | #define str(s) #s
|
|---|
| 81 |
|
|---|
| 82 | int main( int argc, char * argv[] ) {
|
|---|
| 83 | string Version( CFA_VERSION_LONG ); // current version number from CONFIG
|
|---|
| 84 | string Major( str( CFA_VERSION_MAJOR ) ), Minor( str( CFA_VERSION_MINOR ) ), Patch( str( CFA_VERSION_PATCH ) );
|
|---|
| 85 |
|
|---|
| 86 | string installincdir( CFA_INCDIR ); // fixed location of include files
|
|---|
| 87 | string installlibdir( CFA_LIBDIR ); // fixed location of cc1 and cfa-cpp commands when installed
|
|---|
| 88 | string srcdriverdir ( TOP_BUILDDIR "driver"); // fixed location of cc1 and cfa-cpp commands when in tree
|
|---|
| 89 |
|
|---|
| 90 | string heading; // banner printed at start of cfa compilation
|
|---|
| 91 | string arg; // current command-line argument during command-line parsing
|
|---|
| 92 | string Bprefix; // path where gcc looks for compiler command steps
|
|---|
| 93 | string langstd; // language standard
|
|---|
| 94 |
|
|---|
| 95 | string compiler_path( CFA_BACKEND_CC ); // path/name of C compiler
|
|---|
| 96 | string compiler_name; // name of C compiler
|
|---|
| 97 |
|
|---|
| 98 | bool x_flag = false; // -x flag
|
|---|
| 99 | bool nonoptarg = false; // indicates non-option argument specified
|
|---|
| 100 | bool link = true; // linking as well as compiling
|
|---|
| 101 | bool verbose = false; // -v flag
|
|---|
| 102 | bool quiet = false; // -quiet flag
|
|---|
| 103 | bool debug = true; // -debug flag
|
|---|
| 104 | bool nolib = false; // -nolib flag
|
|---|
| 105 | bool help = false; // -help flag
|
|---|
| 106 | bool CFA_flag = false; // -CFA flag
|
|---|
| 107 | bool cpp_flag = false; // -E or -M flag, preprocessor only
|
|---|
| 108 | bool std_flag = false; // -std= flag
|
|---|
| 109 | bool noincstd_flag = false; // -no-include-stdhdr= flag
|
|---|
| 110 | bool debugging __attribute(( unused )) = false; // -g flag
|
|---|
| 111 | bool m32 = false; // -m32 flag
|
|---|
| 112 | bool m64 = false; // -m64 flag
|
|---|
| 113 | bool intree = false;
|
|---|
| 114 |
|
|---|
| 115 | const char *args[argc + 100]; // cfa command line values, plus some space for additional flags
|
|---|
| 116 | int sargs = 1; // starting location for arguments in args list
|
|---|
| 117 | int nargs = sargs; // number of arguments in args list; 0 => command name
|
|---|
| 118 |
|
|---|
| 119 | const char *libs[argc + 20]; // non-user libraries must come separately, plus some added libraries and flags
|
|---|
| 120 | int nlibs = 0;
|
|---|
| 121 |
|
|---|
| 122 | #ifdef __DEBUG_H__
|
|---|
| 123 | cerr << "CFA:" << endl;
|
|---|
| 124 | for ( int i = 1; i < argc; i += 1 ) {
|
|---|
| 125 | cerr << "argv[" << i << "]:\"" << argv[i] << "\"" << endl;
|
|---|
| 126 | } // for
|
|---|
| 127 | #endif // __DEBUG_H__
|
|---|
| 128 |
|
|---|
| 129 | // process command-line arguments
|
|---|
| 130 |
|
|---|
| 131 | for ( int i = 1; i < argc; i += 1 ) {
|
|---|
| 132 | arg = argv[i]; // convert to string value
|
|---|
| 133 | if ( prefix( arg, "-" ) ) {
|
|---|
| 134 | // pass through arguments
|
|---|
| 135 |
|
|---|
| 136 | if ( arg == "-Xlinker" || arg == "-o" ) {
|
|---|
| 137 | args[nargs] = argv[i]; // pass the argument along
|
|---|
| 138 | nargs += 1;
|
|---|
| 139 | i += 1;
|
|---|
| 140 | if ( i == argc ) continue; // next argument available ?
|
|---|
| 141 | args[nargs] = argv[i]; // pass the argument along
|
|---|
| 142 | nargs += 1;
|
|---|
| 143 | } else if ( arg == "-XCFA" ) { // CFA pass through
|
|---|
| 144 | i += 1;
|
|---|
| 145 | args[nargs] = ( *new string( string("-D__CFA_FLAG__=") + argv[i] ) ).c_str();
|
|---|
| 146 | nargs += 1;
|
|---|
| 147 |
|
|---|
| 148 | // CFA specific arguments
|
|---|
| 149 |
|
|---|
| 150 | } else if ( arg == "-CFA" ) {
|
|---|
| 151 | CFA_flag = true; // strip the -CFA flag
|
|---|
| 152 | link = false;
|
|---|
| 153 | args[nargs] = "-E"; // replace the argument with -E
|
|---|
| 154 | nargs += 1;
|
|---|
| 155 | } else if ( arg == "-debug" ) {
|
|---|
| 156 | debug = true; // strip the debug flag
|
|---|
| 157 | } else if ( arg == "-nodebug" ) {
|
|---|
| 158 | debug = false; // strip the debug flag
|
|---|
| 159 | } else if ( arg == "-nolib" ) {
|
|---|
| 160 | nolib = true; // strip the nodebug flag
|
|---|
| 161 | } else if ( arg == "-quiet" ) {
|
|---|
| 162 | quiet = true; // strip the quiet flag
|
|---|
| 163 | } else if ( arg == "-noquiet" ) {
|
|---|
| 164 | quiet = false; // strip the noquiet flag
|
|---|
| 165 | } else if ( arg == "-help" ) {
|
|---|
| 166 | help = true; // strip the help flag
|
|---|
| 167 | } else if ( arg == "-nohelp" ) {
|
|---|
| 168 | help = false; // strip the nohelp flag
|
|---|
| 169 | } else if ( arg == "-no-include-stdhdr" ) {
|
|---|
| 170 | noincstd_flag = true; // strip the no-include-stdhdr flag
|
|---|
| 171 | } else if ( arg == "-in-tree" ) {
|
|---|
| 172 | intree = true;
|
|---|
| 173 | } else if ( arg == "-compiler" ) {
|
|---|
| 174 | // use the user specified compiler
|
|---|
| 175 | i += 1;
|
|---|
| 176 | if ( i == argc ) continue; // next argument available ?
|
|---|
| 177 | compiler_path = argv[i];
|
|---|
| 178 | if ( putenv( (char *)( *new string( string( "__CFA_COMPILER__=" ) + argv[i]) ).c_str() ) != 0 ) {
|
|---|
| 179 | cerr << argv[0] << " error, cannot set environment variable." << endl;
|
|---|
| 180 | exit( EXIT_FAILURE );
|
|---|
| 181 | } // if
|
|---|
| 182 |
|
|---|
| 183 | // C specific arguments
|
|---|
| 184 |
|
|---|
| 185 | } else if ( arg == "-v" ) {
|
|---|
| 186 | verbose = true; // verbosity required
|
|---|
| 187 | args[nargs] = argv[i]; // pass the argument along
|
|---|
| 188 | nargs += 1;
|
|---|
| 189 | } else if ( arg == "-g" ) {
|
|---|
| 190 | debugging = true; // symbolic debugging required
|
|---|
| 191 | args[nargs] = argv[i]; // pass the argument along
|
|---|
| 192 | nargs += 1;
|
|---|
| 193 | } else if ( prefix( arg, "-x" ) ) { // file suffix ?
|
|---|
| 194 | string lang;
|
|---|
| 195 | args[nargs] = argv[i]; // pass the argument along
|
|---|
| 196 | nargs += 1;
|
|---|
| 197 | if ( arg.length() == 2 ) { // separate argument ?
|
|---|
| 198 | i += 1;
|
|---|
| 199 | if ( i == argc ) continue; // next argument available ?
|
|---|
| 200 | lang = argv[i];
|
|---|
| 201 | args[nargs] = argv[i]; // pass the argument along
|
|---|
| 202 | nargs += 1;
|
|---|
| 203 | } else {
|
|---|
| 204 | lang = arg.substr( 2 );
|
|---|
| 205 | } // if
|
|---|
| 206 | x_flag = lang != "none";
|
|---|
| 207 | } else if ( prefix( arg, "-std=" ) || prefix( arg, "--std=" ) ) {
|
|---|
| 208 | std_flag = true; // -std=XX provided
|
|---|
| 209 | args[nargs] = argv[i]; // pass the argument along
|
|---|
| 210 | nargs += 1;
|
|---|
| 211 | } else if ( arg == "-w" ) {
|
|---|
| 212 | args[nargs] = argv[i]; // pass the argument along
|
|---|
| 213 | nargs += 1;
|
|---|
| 214 | args[nargs] = ( *new string( string("-D__CFA_FLAG__=") + arg ) ).c_str(); // add the argument for cfa-cpp
|
|---|
| 215 | nargs += 1;
|
|---|
| 216 | } else if ( prefix( arg, "-W" ) ) { // check before next tests
|
|---|
| 217 | if ( arg == "-Werror" || arg == "-Wall" ) {
|
|---|
| 218 | args[nargs] = argv[i]; // pass the argument along
|
|---|
| 219 | nargs += 1;
|
|---|
| 220 | args[nargs] = ( *new string( string("-D__CFA_FLAG__=") + arg ) ).c_str(); // add the argument for cfa-cpp
|
|---|
| 221 | nargs += 1;
|
|---|
| 222 | } else {
|
|---|
| 223 | unsigned int adv = prefix( arg, "-Wno-" ) ? 5 : 2;
|
|---|
| 224 | args[nargs] = argv[i]; // conditionally pass the argument along
|
|---|
| 225 | const char * warning = argv[i] + adv; // extract warning
|
|---|
| 226 | if ( SemanticWarning_Exist( warning ) ) { // replace the argument for cfa-cpp
|
|---|
| 227 | args[nargs] = ( *new string( string("-D__CFA_FLAG__=") + arg ) ).c_str();
|
|---|
| 228 | } // if
|
|---|
| 229 | nargs += 1;
|
|---|
| 230 | } // if
|
|---|
| 231 | } else if ( prefix( arg, "-B" ) ) {
|
|---|
| 232 | Bprefix = arg.substr(2); // strip the -B flag
|
|---|
| 233 | args[nargs] = ( *new string( string("-D__GCC_BPREFIX__=") + Bprefix ) ).c_str();
|
|---|
| 234 | nargs += 1;
|
|---|
| 235 | } else if ( prefix( arg, "-b" ) ) {
|
|---|
| 236 | if ( arg.length() == 2 ) { // separate argument ?
|
|---|
| 237 | i += 1;
|
|---|
| 238 | if ( i == argc ) continue; // next argument available ?
|
|---|
| 239 | arg += argv[i]; // concatenate argument
|
|---|
| 240 | } // if
|
|---|
| 241 | // later versions of gcc require the -b option to appear at the start of the command line
|
|---|
| 242 | shuffle( args, sargs, nargs, 1 ); // make room at front of argument list
|
|---|
| 243 | args[sargs] = ( *new string( arg ) ).c_str(); // pass the argument along
|
|---|
| 244 | if ( putenv( (char *)( *new string( string( "__GCC_MACHINE__=" ) + arg ) ).c_str() ) != 0 ) {
|
|---|
| 245 | cerr << argv[0] << " error, cannot set environment variable." << endl;
|
|---|
| 246 | exit( EXIT_FAILURE );
|
|---|
| 247 | } // if
|
|---|
| 248 | sargs += 1;
|
|---|
| 249 | nargs += 1;
|
|---|
| 250 | } else if ( prefix( arg, "-V" ) ) {
|
|---|
| 251 | if ( arg.length() == 2 ) { // separate argument ?
|
|---|
| 252 | i += 1;
|
|---|
| 253 | if ( i == argc ) continue; // next argument available ?
|
|---|
| 254 | arg += argv[i]; // concatenate argument
|
|---|
| 255 | } // if
|
|---|
| 256 | // later versions of gcc require the -V option to appear at the start of the command line
|
|---|
| 257 | shuffle( args, sargs, nargs, 1 ); // make room at front of argument list
|
|---|
| 258 | args[sargs] = ( *new string( arg ) ).c_str(); // pass the argument along
|
|---|
| 259 | if ( putenv( (char *)( *new string( string( "__GCC_VERSION__=" ) + arg ) ).c_str() ) != 0 ) {
|
|---|
| 260 | cerr << argv[0] << " error, cannot set environment variable." << endl;
|
|---|
| 261 | exit( EXIT_FAILURE );
|
|---|
| 262 | } // if
|
|---|
| 263 | sargs += 1;
|
|---|
| 264 | nargs += 1;
|
|---|
| 265 | } else if ( arg == "-c" || arg == "-S" || arg == "-E" || arg == "-M" || arg == "-MM" ) {
|
|---|
| 266 | args[nargs] = argv[i]; // pass the argument along
|
|---|
| 267 | nargs += 1;
|
|---|
| 268 | if ( arg == "-E" || arg == "-M" || arg == "-MM" ) {
|
|---|
| 269 | cpp_flag = true; // cpp only
|
|---|
| 270 | } // if
|
|---|
| 271 | link = false; // no linkage required
|
|---|
| 272 | } else if ( arg[1] == 'l' ) {
|
|---|
| 273 | // if the user specifies a library, load it after user code
|
|---|
| 274 | libs[nlibs] = argv[i];
|
|---|
| 275 | nlibs += 1;
|
|---|
| 276 | } else if ( arg == "-m32" ) {
|
|---|
| 277 | m32 = true;
|
|---|
| 278 | m64 = false;
|
|---|
| 279 | args[nargs] = argv[i];
|
|---|
| 280 | nargs += 1;
|
|---|
| 281 | } else if ( arg == "-m64" ) {
|
|---|
| 282 | m64 = true;
|
|---|
| 283 | m32 = false;
|
|---|
| 284 | args[nargs] = argv[i];
|
|---|
| 285 | nargs += 1;
|
|---|
| 286 | } else {
|
|---|
| 287 | // concatenate any other arguments
|
|---|
| 288 | args[nargs] = argv[i];
|
|---|
| 289 | nargs += 1;
|
|---|
| 290 | } // if
|
|---|
| 291 | } else {
|
|---|
| 292 | bool cfa = suffix( arg ); // check suffix
|
|---|
| 293 | if ( ! x_flag && cfa ) { // no explicit suffix and cfa suffix ?
|
|---|
| 294 | args[nargs] = "-x";
|
|---|
| 295 | nargs += 1;
|
|---|
| 296 | args[nargs] = "c";
|
|---|
| 297 | nargs += 1;
|
|---|
| 298 | } // if
|
|---|
| 299 | args[nargs] = argv[i]; // concatenate file
|
|---|
| 300 | nargs += 1;
|
|---|
| 301 | if ( ! x_flag && cfa ) { // no explicit suffix and cfa suffix ?
|
|---|
| 302 | args[nargs] = "-x";
|
|---|
| 303 | nargs += 1;
|
|---|
| 304 | args[nargs] = "none";
|
|---|
| 305 | nargs += 1;
|
|---|
| 306 | } // if
|
|---|
| 307 | nonoptarg = true;
|
|---|
| 308 | } // if
|
|---|
| 309 | } // for
|
|---|
| 310 |
|
|---|
| 311 | #ifdef __x86_64__
|
|---|
| 312 | args[nargs] = "-mcx16"; // allow double-wide CAA
|
|---|
| 313 | nargs += 1;
|
|---|
| 314 | #endif // __x86_64__
|
|---|
| 315 |
|
|---|
| 316 | #ifdef __DEBUG_H__
|
|---|
| 317 | cerr << "args:";
|
|---|
| 318 | for ( int i = 1; i < nargs; i += 1 ) {
|
|---|
| 319 | cerr << " " << args[i];
|
|---|
| 320 | } // for
|
|---|
| 321 | cerr << endl;
|
|---|
| 322 | #endif // __DEBUG_H__
|
|---|
| 323 |
|
|---|
| 324 | if ( cpp_flag && CFA_flag ) {
|
|---|
| 325 | cerr << argv[0] << " error, cannot use -E and -CFA flags together." << endl;
|
|---|
| 326 | exit( EXIT_FAILURE );
|
|---|
| 327 | } // if
|
|---|
| 328 |
|
|---|
| 329 | // add the CFA include-library paths, which allow direct access to header files without directory qualification
|
|---|
| 330 | if( !intree ) {
|
|---|
| 331 | args[nargs] = "-I" CFA_INCDIR;
|
|---|
| 332 | nargs += 1;
|
|---|
| 333 | if ( ! noincstd_flag ) { // do not use during build
|
|---|
| 334 | args[nargs] = "-I" CFA_INCDIR "stdhdr";
|
|---|
| 335 | nargs += 1;
|
|---|
| 336 | } // if
|
|---|
| 337 | args[nargs] = "-I" CFA_INCDIR "concurrency";
|
|---|
| 338 | nargs += 1;
|
|---|
| 339 | args[nargs] = "-I" CFA_INCDIR "containers";
|
|---|
| 340 | nargs += 1;
|
|---|
| 341 | } else {
|
|---|
| 342 | args[nargs] = "-I" TOP_SRCDIR "libcfa/src";
|
|---|
| 343 | nargs += 1;
|
|---|
| 344 | if ( ! noincstd_flag ) { // do not use during build
|
|---|
| 345 | args[nargs] = "-I" TOP_SRCDIR "libcfa/src" "/stdhdr";
|
|---|
| 346 | nargs += 1;
|
|---|
| 347 | } // if
|
|---|
| 348 | args[nargs] = "-I" TOP_SRCDIR "libcfa/src" "/concurrency";
|
|---|
| 349 | nargs += 1;
|
|---|
| 350 | args[nargs] = "-I" TOP_SRCDIR "libcfa/src" "/containers";
|
|---|
| 351 | nargs += 1;
|
|---|
| 352 | }
|
|---|
| 353 |
|
|---|
| 354 | // add stdbool to get defines for bool/true/false
|
|---|
| 355 | args[nargs] = "-imacros";
|
|---|
| 356 | nargs += 1;
|
|---|
| 357 | args[nargs] = "stdbool.h";
|
|---|
| 358 | nargs += 1;
|
|---|
| 359 |
|
|---|
| 360 | string libbase;
|
|---|
| 361 | if( !intree ) {
|
|---|
| 362 | libbase = CFA_LIBDIR;
|
|---|
| 363 | } else {
|
|---|
| 364 | libbase = TOP_BUILDDIR "libcfa/";
|
|---|
| 365 | args[nargs] = "-D__CFA_FLAG__=-t";
|
|---|
| 366 | nargs += 1;
|
|---|
| 367 | }
|
|---|
| 368 |
|
|---|
| 369 | string arch = m32 ? CFA_32_CPU : (m64 ? CFA_64_CPU : CFA_DEFAULT_CPU);
|
|---|
| 370 | if ( ! m32 && ! m64 ) {
|
|---|
| 371 | if ( arch == "x86" ) {
|
|---|
| 372 | args[nargs] = "-m32";
|
|---|
| 373 | nargs += 1;
|
|---|
| 374 | } else if ( arch == "x64" ) {
|
|---|
| 375 | args[nargs] = "-m64";
|
|---|
| 376 | nargs += 1;
|
|---|
| 377 | } // if
|
|---|
| 378 | } // if
|
|---|
| 379 | const char * config = nolib ? "nolib" : (debug ? "debug": "nodebug");
|
|---|
| 380 | string libdir = libbase + arch + "-" + config;
|
|---|
| 381 |
|
|---|
| 382 | if ( ! nolib && ! dirExists( libdir ) ) {
|
|---|
| 383 | cerr << argv[0] << " internal error, configuration " << config << " not installed." << endl;
|
|---|
| 384 | cerr << "Was looking for " << libdir << endl;
|
|---|
| 385 | libdir = libbase + arch + "-" + "nolib";
|
|---|
| 386 | } // if
|
|---|
| 387 |
|
|---|
| 388 | if ( ! dirExists( libdir ) ) {
|
|---|
| 389 | cerr << argv[0] << " internal error, cannot find prelude directory." << endl;
|
|---|
| 390 | cerr << "Was looking for " << libdir << endl;
|
|---|
| 391 | exit( EXIT_FAILURE );
|
|---|
| 392 | } // if
|
|---|
| 393 |
|
|---|
| 394 | args[nargs] = ( *new string( string("-D__CFA_FLAG__=--prelude-dir=" ) + libdir + (intree ? "/prelude" : "")) ).c_str();
|
|---|
| 395 | nargs += 1;
|
|---|
| 396 |
|
|---|
| 397 | for ( int i = 0; i < nlibs; i += 1 ) { // copy non-user libraries after all user libraries
|
|---|
| 398 | args[nargs] = libs[i];
|
|---|
| 399 | nargs += 1;
|
|---|
| 400 | } // for
|
|---|
| 401 |
|
|---|
| 402 | if ( link ) {
|
|---|
| 403 | args[nargs] = "-Xlinker";
|
|---|
| 404 | nargs += 1;
|
|---|
| 405 | args[nargs] = "--undefined=__cfaabi_dbg_bits_write";
|
|---|
| 406 | nargs += 1;
|
|---|
| 407 | args[nargs] = "-Xlinker";
|
|---|
| 408 | nargs += 1;
|
|---|
| 409 | args[nargs] = "--undefined=__cfaabi_interpose_startup";
|
|---|
| 410 | nargs += 1;
|
|---|
| 411 | args[nargs] = "-Xlinker";
|
|---|
| 412 | nargs += 1;
|
|---|
| 413 | args[nargs] = "--undefined=__cfaabi_appready_startup";
|
|---|
| 414 | nargs += 1;
|
|---|
| 415 |
|
|---|
| 416 | // include the cfa library in case it's needed
|
|---|
| 417 | args[nargs] = ( *new string( string("-L" ) + libdir + (intree ? "/src/.libs" : "")) ).c_str();
|
|---|
| 418 | nargs += 1;
|
|---|
| 419 | args[nargs] = ( *new string( string("-Wl,-rpath," ) + libdir + (intree ? "/src/.libs" : "")) ).c_str();
|
|---|
| 420 | nargs += 1;
|
|---|
| 421 | args[nargs] = "-Wl,--push-state,--as-needed";
|
|---|
| 422 | nargs += 1;
|
|---|
| 423 | args[nargs] = "-lcfathread";
|
|---|
| 424 | nargs += 1;
|
|---|
| 425 | args[nargs] = "-Wl,--pop-state";
|
|---|
| 426 | nargs += 1;
|
|---|
| 427 | args[nargs] = "-lcfa";
|
|---|
| 428 | nargs += 1;
|
|---|
| 429 | args[nargs] = "-lpthread";
|
|---|
| 430 | nargs += 1;
|
|---|
| 431 | args[nargs] = "-ldl";
|
|---|
| 432 | nargs += 1;
|
|---|
| 433 | args[nargs] = "-lrt";
|
|---|
| 434 | nargs += 1;
|
|---|
| 435 | args[nargs] = "-lm";
|
|---|
| 436 | nargs += 1;
|
|---|
| 437 | } // if
|
|---|
| 438 |
|
|---|
| 439 | // Add exception flags (unconditionally)
|
|---|
| 440 | args[nargs] = "-fexceptions";
|
|---|
| 441 | nargs += 1;
|
|---|
| 442 |
|
|---|
| 443 | // add the correct set of flags based on the type of compile this is
|
|---|
| 444 |
|
|---|
| 445 | args[nargs] = ( *new string( string("-D__CFA_MAJOR__=") + Major ) ).c_str();
|
|---|
| 446 | nargs += 1;
|
|---|
| 447 | args[nargs] = ( *new string( string("-D__CFA_MINOR__=") + Minor ) ).c_str();
|
|---|
| 448 | nargs += 1;
|
|---|
| 449 | args[nargs] = ( *new string( string("-D__CFA_PATCH__=") + Patch ) ).c_str();
|
|---|
| 450 | nargs += 1;
|
|---|
| 451 | args[nargs] = "-D__CFA__";
|
|---|
| 452 | nargs += 1;
|
|---|
| 453 | args[nargs] = "-D__CFORALL__";
|
|---|
| 454 | nargs += 1;
|
|---|
| 455 | args[nargs] = "-D__cforall";
|
|---|
| 456 | nargs += 1;
|
|---|
| 457 |
|
|---|
| 458 | if ( cpp_flag ) {
|
|---|
| 459 | args[nargs] = "-D__CPP__";
|
|---|
| 460 | nargs += 1;
|
|---|
| 461 | } // if
|
|---|
| 462 |
|
|---|
| 463 | shuffle( args, sargs, nargs, 1 ); // make room at front of argument list
|
|---|
| 464 | nargs += 1;
|
|---|
| 465 | if ( CFA_flag ) {
|
|---|
| 466 | args[sargs] = "-D__CFA_FLAG__=-N";
|
|---|
| 467 | args[nargs] = "-D__CFA_PREPROCESS_";
|
|---|
| 468 | nargs += 1;
|
|---|
| 469 | } else {
|
|---|
| 470 | args[sargs] = "-D__CFA_FLAG__=-L";
|
|---|
| 471 | } // if
|
|---|
| 472 | sargs += 1;
|
|---|
| 473 |
|
|---|
| 474 | if ( debug ) {
|
|---|
| 475 | heading += " (debug)";
|
|---|
| 476 | args[nargs] = "-D__CFA_DEBUG__";
|
|---|
| 477 | nargs += 1;
|
|---|
| 478 | } else {
|
|---|
| 479 | heading += " (no debug)";
|
|---|
| 480 | } // if
|
|---|
| 481 |
|
|---|
| 482 | if ( Bprefix.length() == 0 ) {
|
|---|
| 483 | Bprefix = ! intree ? installlibdir : srcdriverdir;
|
|---|
| 484 | if ( Bprefix[Bprefix.length() - 1] != '/' ) Bprefix += '/';
|
|---|
| 485 | args[nargs] = ( *new string( string("-D__GCC_BPREFIX__=") + Bprefix ) ).c_str();
|
|---|
| 486 | nargs += 1;
|
|---|
| 487 | } // if
|
|---|
| 488 |
|
|---|
| 489 | args[nargs] = "-Xlinker"; // used by backtrace
|
|---|
| 490 | nargs += 1;
|
|---|
| 491 | args[nargs] = "-export-dynamic";
|
|---|
| 492 | nargs += 1;
|
|---|
| 493 |
|
|---|
| 494 | // execute the compilation command
|
|---|
| 495 |
|
|---|
| 496 | args[0] = compiler_path.c_str(); // set compiler command for exec
|
|---|
| 497 | // find actual name of the compiler independent of the path to it
|
|---|
| 498 | int p = compiler_path.find_last_of( '/' ); // scan r -> l for first '/'
|
|---|
| 499 | if ( p == -1 ) {
|
|---|
| 500 | compiler_name = compiler_path;
|
|---|
| 501 | } else {
|
|---|
| 502 | compiler_name = *new string( compiler_path.substr( p + 1 ) );
|
|---|
| 503 | } // if
|
|---|
| 504 |
|
|---|
| 505 | if ( prefix( compiler_name, "gcc" ) ) { // allow suffix on gcc name
|
|---|
| 506 | args[nargs] = "-no-integrated-cpp";
|
|---|
| 507 | nargs += 1;
|
|---|
| 508 | args[nargs] = "-Wno-deprecated";
|
|---|
| 509 | nargs += 1;
|
|---|
| 510 | #ifdef HAVE_CAST_FUNCTION_TYPE
|
|---|
| 511 | args[nargs] = "-Wno-cast-function-type";
|
|---|
| 512 | nargs += 1;
|
|---|
| 513 | #endif // HAVE_CAST_FUNCTION_TYPE
|
|---|
| 514 | if ( ! std_flag ) { // default c11, if none specified
|
|---|
| 515 | args[nargs] = "-std=gnu11";
|
|---|
| 516 | nargs += 1;
|
|---|
| 517 | } // if
|
|---|
| 518 | args[nargs] = "-fgnu89-inline";
|
|---|
| 519 | nargs += 1;
|
|---|
| 520 | args[nargs] = "-D__int8_t_defined"; // prevent gcc type-size attributes
|
|---|
| 521 | nargs += 1;
|
|---|
| 522 | args[nargs] = ( *new string( string("-B") + Bprefix ) ).c_str();
|
|---|
| 523 | nargs += 1;
|
|---|
| 524 | } else {
|
|---|
| 525 | cerr << argv[0] << " error, compiler \"" << compiler_name << "\" unsupported." << endl;
|
|---|
| 526 | exit( EXIT_FAILURE );
|
|---|
| 527 | } // if
|
|---|
| 528 |
|
|---|
| 529 | args[nargs] = NULL; // terminate with NULL
|
|---|
| 530 |
|
|---|
| 531 | #ifdef __DEBUG_H__
|
|---|
| 532 | cerr << "nargs: " << nargs << endl;
|
|---|
| 533 | cerr << "args:" << endl;
|
|---|
| 534 | for ( int i = 0; args[i] != NULL; i += 1 ) {
|
|---|
| 535 | cerr << " \"" << args[i] << "\"" << endl;
|
|---|
| 536 | } // for
|
|---|
| 537 | #endif // __DEBUG_H__
|
|---|
| 538 |
|
|---|
| 539 | if ( ! quiet ) {
|
|---|
| 540 | cerr << "CFA " << "Version " << Version << heading << endl;
|
|---|
| 541 |
|
|---|
| 542 | if ( help ) {
|
|---|
| 543 | cerr <<
|
|---|
| 544 | "-debug\t\t\t: use cfa runtime with debug checking" << endl <<
|
|---|
| 545 | "-help\t\t\t: print this help message" << endl <<
|
|---|
| 546 | "-quiet\t\t\t: print no messages from the cfa command" << endl <<
|
|---|
| 547 | "-CFA\t\t\t: run the cpp preprocessor and the cfa-cpp translator" << endl <<
|
|---|
| 548 | "-XCFA -cfa-cpp-flag\t: pass next flag as-is to the cfa-cpp translator" << endl <<
|
|---|
| 549 | "...\t\t\t: any other " << compiler_name << " flags" << endl;
|
|---|
| 550 | } // if
|
|---|
| 551 | } // if
|
|---|
| 552 |
|
|---|
| 553 | if ( verbose ) {
|
|---|
| 554 | if ( argc == 2 ) exit( EXIT_SUCCESS ); // if only the -v flag is specified, do not invoke gcc
|
|---|
| 555 |
|
|---|
| 556 | for ( int i = 0; args[i] != NULL; i += 1 ) {
|
|---|
| 557 | cerr << args[i] << " ";
|
|---|
| 558 | } // for
|
|---|
| 559 | cerr << endl;
|
|---|
| 560 | } // if
|
|---|
| 561 |
|
|---|
| 562 | if ( ! nonoptarg ) {
|
|---|
| 563 | cerr << argv[0] << " error, no input files" << endl;
|
|---|
| 564 | exit( EXIT_FAILURE );
|
|---|
| 565 | } // if
|
|---|
| 566 |
|
|---|
| 567 | // execute the command and return the result
|
|---|
| 568 |
|
|---|
| 569 | execvp( args[0], (char *const *)args ); // should not return
|
|---|
| 570 | perror( "CFA Translator error: cfa level, execvp" );
|
|---|
| 571 | exit( EXIT_FAILURE );
|
|---|
| 572 | } // main
|
|---|
| 573 |
|
|---|
| 574 | // Local Variables: //
|
|---|
| 575 | // tab-width: 4 //
|
|---|
| 576 | // mode: c++ //
|
|---|
| 577 | // compile-command: "make install" //
|
|---|
| 578 | // End: //
|
|---|
