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