| 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 : Tue Sep 10 17:00:15 2019
|
|---|
| 13 | // Update Count : 420
|
|---|
| 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 | Putenv( argv, argv[i] );
|
|---|
| 190 |
|
|---|
| 191 | // CFA specific arguments
|
|---|
| 192 |
|
|---|
| 193 | } else if ( arg == "-CFA" ) {
|
|---|
| 194 | CFA_flag = true; // strip the -CFA flag
|
|---|
| 195 | link = false;
|
|---|
| 196 | args[nargs++] = "-fsyntax-only"; // stop after stage 2
|
|---|
| 197 | } else if ( arg == "-debug" ) {
|
|---|
| 198 | debug = true; // strip the debug flag
|
|---|
| 199 | } else if ( arg == "-nodebug" ) {
|
|---|
| 200 | debug = false; // strip the nodebug flag
|
|---|
| 201 | } else if ( arg == "-nolib" ) {
|
|---|
| 202 | nolib = true; // strip the nodebug flag
|
|---|
| 203 | } else if ( arg == "-quiet" ) {
|
|---|
| 204 | quiet = true; // strip the quiet flag
|
|---|
| 205 | } else if ( arg == "-noquiet" ) {
|
|---|
| 206 | quiet = false; // strip the noquiet flag
|
|---|
| 207 | } else if ( arg == "-help" ) {
|
|---|
| 208 | help = true; // strip the help flag
|
|---|
| 209 | } else if ( arg == "-nohelp" ) {
|
|---|
| 210 | help = false; // strip the nohelp flag
|
|---|
| 211 | } else if ( arg == "-no-include-stdhdr" ) {
|
|---|
| 212 | noincstd_flag = true; // strip the no-include-stdhdr flag
|
|---|
| 213 | } else if ( arg == "-cfalib") {
|
|---|
| 214 | compiling_libs = true;
|
|---|
| 215 | } else if ( arg == "-compiler" ) {
|
|---|
| 216 | // use the user specified compiler
|
|---|
| 217 | i += 1;
|
|---|
| 218 | if ( i == argc ) continue; // next argument available ?
|
|---|
| 219 | compiler_path = argv[i];
|
|---|
| 220 | Putenv( argv, arg + "=" + argv[i] );
|
|---|
| 221 |
|
|---|
| 222 | // C specific arguments
|
|---|
| 223 |
|
|---|
| 224 | } else if ( arg == "-v" ) {
|
|---|
| 225 | verbose = true; // verbosity required
|
|---|
| 226 | args[nargs++] = argv[i]; // pass argument along
|
|---|
| 227 | } else if ( arg == "-g" ) {
|
|---|
| 228 | debugging = true; // symbolic debugging required
|
|---|
| 229 | args[nargs++] = argv[i]; // pass argument along
|
|---|
| 230 | } else if ( arg == "-save-temps" ) {
|
|---|
| 231 | args[nargs++] = argv[i]; // pass argument along
|
|---|
| 232 | Putenv( argv, arg ); // save cfa-cpp output
|
|---|
| 233 | } else if ( prefix( arg, "-x" ) ) { // file suffix ?
|
|---|
| 234 | string lang;
|
|---|
| 235 | args[nargs++] = argv[i]; // pass argument along
|
|---|
| 236 | if ( arg.length() == 2 ) { // separate argument ?
|
|---|
| 237 | i += 1;
|
|---|
| 238 | if ( i == argc ) continue; // next argument available ?
|
|---|
| 239 | lang = argv[i];
|
|---|
| 240 | args[nargs++] = argv[i]; // pass argument along
|
|---|
| 241 | } else {
|
|---|
| 242 | lang = arg.substr( 2 );
|
|---|
| 243 | } // if
|
|---|
| 244 | x_flag = lang != "none";
|
|---|
| 245 | } else if ( prefix( arg, "-std=" ) || prefix( arg, "--std=" ) ) {
|
|---|
| 246 | std_flag = true; // -std=XX provided
|
|---|
| 247 | args[nargs++] = argv[i]; // pass argument along
|
|---|
| 248 | } else if ( arg == "-w" ) {
|
|---|
| 249 | args[nargs++] = argv[i]; // pass argument along
|
|---|
| 250 | Putenv( argv, arg );
|
|---|
| 251 | } else if ( prefix( arg, "-W" ) ) { // check before next tests
|
|---|
| 252 | if ( arg == "-Werror" || arg == "-Wall" ) {
|
|---|
| 253 | args[nargs++] = argv[i]; // pass argument along
|
|---|
| 254 | Putenv( argv, argv[i] );
|
|---|
| 255 | } else {
|
|---|
| 256 | unsigned int adv = prefix( arg, "-Wno-" ) ? 5 : 2;
|
|---|
| 257 | args[nargs] = argv[i]; // conditionally pass argument along
|
|---|
| 258 | const char * warning = argv[i] + adv; // extract warning
|
|---|
| 259 | if ( SemanticWarning_Exist( warning ) ) { // replace the argument for cfa-cpp
|
|---|
| 260 | Putenv( argv, arg );
|
|---|
| 261 | } // if
|
|---|
| 262 | nargs += 1;
|
|---|
| 263 | } // if
|
|---|
| 264 | } else if ( prefix( arg, "-B" ) ) {
|
|---|
| 265 | bprefix = arg.substr(2); // strip the -B flag
|
|---|
| 266 | } else if ( arg == "-c" || arg == "-S" || arg == "-E" || arg == "-M" || arg == "-MM" ) {
|
|---|
| 267 | args[nargs++] = argv[i]; // pass argument along
|
|---|
| 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 | } else if ( arg == "-m32" ) {
|
|---|
| 276 | m32 = true;
|
|---|
| 277 | m64 = false;
|
|---|
| 278 | args[nargs++] = argv[i];
|
|---|
| 279 | } else if ( arg == "-m64" ) {
|
|---|
| 280 | m64 = true;
|
|---|
| 281 | m32 = false;
|
|---|
| 282 | args[nargs++] = argv[i];
|
|---|
| 283 | } else {
|
|---|
| 284 | // concatenate any other arguments
|
|---|
| 285 | args[nargs++] = argv[i];
|
|---|
| 286 | } // if
|
|---|
| 287 | } else {
|
|---|
| 288 | bool cfa = suffix( arg ); // check suffix
|
|---|
| 289 | if ( ! x_flag && cfa ) { // no explicit suffix and cfa suffix ?
|
|---|
| 290 | args[nargs++] = "-x";
|
|---|
| 291 | args[nargs++] = "c";
|
|---|
| 292 | } // if
|
|---|
| 293 | args[nargs++] = argv[i]; // concatenate files
|
|---|
| 294 | if ( ! x_flag && cfa ) { // no explicit suffix and cfa suffix ?
|
|---|
| 295 | args[nargs++] = "-x";
|
|---|
| 296 | args[nargs++] = "none";
|
|---|
| 297 | } // if
|
|---|
| 298 | nonoptarg = true;
|
|---|
| 299 | } // if
|
|---|
| 300 | } // for
|
|---|
| 301 |
|
|---|
| 302 | #ifdef __x86_64__
|
|---|
| 303 | args[nargs++] = "-mcx16"; // allow double-wide CAA
|
|---|
| 304 | #endif // __x86_64__
|
|---|
| 305 |
|
|---|
| 306 | #ifdef __DEBUG_H__
|
|---|
| 307 | cerr << "args:";
|
|---|
| 308 | for ( int i = 1; i < nargs; i += 1 ) {
|
|---|
| 309 | cerr << " " << args[i];
|
|---|
| 310 | } // for
|
|---|
| 311 | cerr << endl;
|
|---|
| 312 | #endif // __DEBUG_H__
|
|---|
| 313 |
|
|---|
| 314 | // -E flag stops at cc1 stage 1, so cfa-cpp in cc1 stage 2 is never executed.
|
|---|
| 315 | if ( cpp_flag && CFA_flag ) {
|
|---|
| 316 | CFA_flag = false;
|
|---|
| 317 | cerr << argv[0] << " warning, both -E and -CFA flags specified, using -E and ignoring -CFA." << endl;
|
|---|
| 318 | } // if
|
|---|
| 319 |
|
|---|
| 320 | // add the CFA include-library paths, which allow direct access to header files without directory qualification
|
|---|
| 321 | string libbase;
|
|---|
| 322 | switch(path) {
|
|---|
| 323 | case Installed:
|
|---|
| 324 | args[nargs++] = "-I" CFA_INCDIR;
|
|---|
| 325 | // do not use during build
|
|---|
| 326 | if ( ! noincstd_flag ) {
|
|---|
| 327 | args[nargs++] = "-I" CFA_INCDIR "stdhdr";
|
|---|
| 328 | } // if
|
|---|
| 329 | args[nargs++] = "-I" CFA_INCDIR "concurrency";
|
|---|
| 330 | args[nargs++] = "-I" CFA_INCDIR "containers";
|
|---|
| 331 | libbase = CFA_LIBDIR;
|
|---|
| 332 | break;
|
|---|
| 333 | case BuildTree:
|
|---|
| 334 | case Distributed:
|
|---|
| 335 | args[nargs++] = "-I" TOP_SRCDIR "libcfa/src";
|
|---|
| 336 | // do not use during build
|
|---|
| 337 | if ( ! noincstd_flag ) {
|
|---|
| 338 | args[nargs++] = "-I" TOP_SRCDIR "libcfa/src" "/stdhdr";
|
|---|
| 339 | } // if
|
|---|
| 340 | args[nargs++] = "-I" TOP_SRCDIR "libcfa/src" "/concurrency";
|
|---|
| 341 | args[nargs++] = "-I" TOP_SRCDIR "libcfa/src" "/containers";
|
|---|
| 342 |
|
|---|
| 343 | libbase = TOP_BUILDDIR "libcfa/";
|
|---|
| 344 |
|
|---|
| 345 | break;
|
|---|
| 346 | } // if
|
|---|
| 347 |
|
|---|
| 348 | // add stdbool to get defines for bool/true/false
|
|---|
| 349 | args[nargs++] = "-imacros";
|
|---|
| 350 | args[nargs++] = "stdbool.h";
|
|---|
| 351 |
|
|---|
| 352 | if( compiling_libs ) {
|
|---|
| 353 | Putenv( argv, "-t" );
|
|---|
| 354 | } // if
|
|---|
| 355 |
|
|---|
| 356 | string arch( m32 ? CFA_32_CPU : (m64 ? CFA_64_CPU : CFA_DEFAULT_CPU) );
|
|---|
| 357 | if ( ! m32 && ! m64 ) {
|
|---|
| 358 | if ( arch == "x86" ) {
|
|---|
| 359 | args[nargs++] = "-m32";
|
|---|
| 360 | } else if ( arch == "x64" ) {
|
|---|
| 361 | args[nargs++] = "-m64";
|
|---|
| 362 | } // if
|
|---|
| 363 | } // if
|
|---|
| 364 |
|
|---|
| 365 | const char * config = nolib ? "nolib" : (debug ? "debug": "nodebug");
|
|---|
| 366 | string libdir = libbase + arch + "-" + config;
|
|---|
| 367 |
|
|---|
| 368 | if (path != Distributed) {
|
|---|
| 369 | if ( ! nolib && ! dirExists( libdir ) ) {
|
|---|
| 370 | cerr << argv[0] << " internal error, configuration " << config << " not installed." << endl;
|
|---|
| 371 | cerr << "Was looking for " << libdir << endl;
|
|---|
| 372 | for(int i = 1; i < argc; i++) {
|
|---|
| 373 | cerr << argv[i] << " ";
|
|---|
| 374 | }
|
|---|
| 375 | cerr << endl;
|
|---|
| 376 | libdir = libbase + arch + "-" + "nolib";
|
|---|
| 377 | } // if
|
|---|
| 378 |
|
|---|
| 379 | if ( ! dirExists( libdir ) ) {
|
|---|
| 380 | cerr << argv[0] << " internal error, cannot find prelude directory." << endl;
|
|---|
| 381 | cerr << "Was looking for " << libdir << endl;
|
|---|
| 382 | exit( EXIT_FAILURE );
|
|---|
| 383 | } // if
|
|---|
| 384 | } // if
|
|---|
| 385 |
|
|---|
| 386 | switch(path) {
|
|---|
| 387 | case Installed : Putenv( argv, "--prelude-dir=" + libdir ); break;
|
|---|
| 388 | case BuildTree : Putenv( argv, "--prelude-dir=" + libdir + "/prelude" ); break;
|
|---|
| 389 | case Distributed : Putenv( argv, "--prelude-dir=" + dir(argv[0]) ); break;
|
|---|
| 390 | }
|
|---|
| 391 |
|
|---|
| 392 | for ( int i = 0; i < nlibs; i += 1 ) { // copy non-user libraries after all user libraries
|
|---|
| 393 | args[nargs++] = libs[i];
|
|---|
| 394 | } // for
|
|---|
| 395 |
|
|---|
| 396 | if ( link ) {
|
|---|
| 397 | args[nargs++] = "-Xlinker";
|
|---|
| 398 | args[nargs++] = "--undefined=__cfaabi_dbg_bits_write";
|
|---|
| 399 | args[nargs++] = "-Xlinker";
|
|---|
| 400 | args[nargs++] = "--undefined=__cfaabi_interpose_startup";
|
|---|
| 401 | args[nargs++] = "-Xlinker";
|
|---|
| 402 | args[nargs++] = "--undefined=__cfaabi_appready_startup";
|
|---|
| 403 |
|
|---|
| 404 | // include the cfa library in case it is needed
|
|---|
| 405 | args[nargs++] = ( *new string( string("-L" ) + libdir + (path != Installed ? "/src/.libs" : "")) ).c_str();
|
|---|
| 406 | args[nargs++] = ( *new string( string("-Wl,-rpath," ) + libdir + (path != Installed ? "/src/.libs" : "")) ).c_str();
|
|---|
| 407 | args[nargs++] = "-Wl,--push-state,--as-needed";
|
|---|
| 408 | args[nargs++] = "-lcfathread";
|
|---|
| 409 | args[nargs++] = "-Wl,--pop-state";
|
|---|
| 410 | args[nargs++] = "-lcfa";
|
|---|
| 411 | args[nargs++] = "-lpthread";
|
|---|
| 412 | args[nargs++] = "-ldl";
|
|---|
| 413 | args[nargs++] = "-lrt";
|
|---|
| 414 | args[nargs++] = "-lm";
|
|---|
| 415 | } // if
|
|---|
| 416 |
|
|---|
| 417 | args[nargs++] = "-fexceptions"; // add exception flags (unconditionally)
|
|---|
| 418 |
|
|---|
| 419 | // add flags based on the type of compile
|
|---|
| 420 |
|
|---|
| 421 | args[nargs++] = ( *new string( string("-D__CFA_MAJOR__=") + Major ) ).c_str();
|
|---|
| 422 | args[nargs++] = ( *new string( string("-D__CFA_MINOR__=") + Minor ) ).c_str();
|
|---|
| 423 | args[nargs++] = ( *new string( string("-D__CFA_PATCH__=") + Patch ) ).c_str();
|
|---|
| 424 | args[nargs++] = "-D__CFA__";
|
|---|
| 425 | args[nargs++] = "-D__CFORALL__";
|
|---|
| 426 | args[nargs++] = "-D__cforall";
|
|---|
| 427 |
|
|---|
| 428 | if ( cpp_flag ) {
|
|---|
| 429 | args[nargs++] = "-D__CPP__";
|
|---|
| 430 | } // if
|
|---|
| 431 |
|
|---|
| 432 | if ( CFA_flag ) {
|
|---|
| 433 | Putenv( argv, "-N" );
|
|---|
| 434 | Putenv( argv, "-CFA" );
|
|---|
| 435 | // -CFA implies cc1 stage 2, but gcc does not pass the -o file to this stage because it believe the file is for
|
|---|
| 436 | // the linker. Hence, the -o file is explicit passed to cc1 stage 2 and used as cfa-cpp's output file.
|
|---|
| 437 | if ( o_file ) Putenv( argv, string( "-o=" ) + argv[o_file] );
|
|---|
| 438 | } else {
|
|---|
| 439 | Putenv( argv, "-L" );
|
|---|
| 440 | } // if
|
|---|
| 441 |
|
|---|
| 442 | if ( debug ) {
|
|---|
| 443 | heading += " (debug)";
|
|---|
| 444 | args[nargs++] = "-D__CFA_DEBUG__";
|
|---|
| 445 | } else {
|
|---|
| 446 | heading += " (no debug)";
|
|---|
| 447 | } // if
|
|---|
| 448 |
|
|---|
| 449 | if ( bprefix.length() == 0 ) {
|
|---|
| 450 | switch(path) {
|
|---|
| 451 | case Installed : bprefix = installlibdir; break;
|
|---|
| 452 | case BuildTree : bprefix = srcdriverdir ; break;
|
|---|
| 453 | case Distributed : bprefix = dir(argv[0]) ; break;
|
|---|
| 454 | }
|
|---|
| 455 | if ( bprefix[bprefix.length() - 1] != '/' ) bprefix += '/';
|
|---|
| 456 | Putenv( argv, string("-B=") + bprefix );
|
|---|
| 457 | } // if
|
|---|
| 458 |
|
|---|
| 459 | args[nargs++] = "-Xlinker"; // used by backtrace
|
|---|
| 460 | args[nargs++] = "-export-dynamic";
|
|---|
| 461 |
|
|---|
| 462 | // execute the compilation command
|
|---|
| 463 |
|
|---|
| 464 | args[0] = compiler_path.c_str(); // set compiler command for exec
|
|---|
| 465 | // find actual name of the compiler independent of the path to it
|
|---|
| 466 | int p = compiler_path.find_last_of( '/' ); // scan r -> l for first '/'
|
|---|
| 467 | if ( p == -1 ) {
|
|---|
| 468 | compiler_name = compiler_path;
|
|---|
| 469 | } else {
|
|---|
| 470 | compiler_name = *new string( compiler_path.substr( p + 1 ) );
|
|---|
| 471 | } // if
|
|---|
| 472 |
|
|---|
| 473 | if ( prefix( compiler_name, "gcc" ) ) { // allow suffix on gcc name
|
|---|
| 474 | args[nargs++] = "-no-integrated-cpp";
|
|---|
| 475 | args[nargs++] = "-Wno-deprecated";
|
|---|
| 476 | #ifdef HAVE_CAST_FUNCTION_TYPE
|
|---|
| 477 | args[nargs++] = "-Wno-cast-function-type";
|
|---|
| 478 | #endif // HAVE_CAST_FUNCTION_TYPE
|
|---|
| 479 | if ( ! std_flag ) { // default c11, if none specified
|
|---|
| 480 | args[nargs++] = "-std=gnu11";
|
|---|
| 481 | } // if
|
|---|
| 482 | args[nargs++] = "-fgnu89-inline";
|
|---|
| 483 | args[nargs++] = "-D__int8_t_defined"; // prevent gcc type-size attributes
|
|---|
| 484 | args[nargs++] = ( *new string( string("-B") + bprefix ) ).c_str();
|
|---|
| 485 | } else {
|
|---|
| 486 | cerr << argv[0] << " error, compiler \"" << compiler_name << "\" unsupported." << endl;
|
|---|
| 487 | exit( EXIT_FAILURE );
|
|---|
| 488 | } // if
|
|---|
| 489 |
|
|---|
| 490 | args[nargs] = nullptr; // terminate
|
|---|
| 491 |
|
|---|
| 492 | #ifdef __DEBUG_H__
|
|---|
| 493 | cerr << "nargs: " << nargs << endl;
|
|---|
| 494 | cerr << "args:" << endl;
|
|---|
| 495 | for ( int i = 0; args[i] != nullptr; i += 1 ) {
|
|---|
| 496 | cerr << " \"" << args[i] << "\"" << endl;
|
|---|
| 497 | } // for
|
|---|
| 498 | cerr << endl;
|
|---|
| 499 | #endif // __DEBUG_H__
|
|---|
| 500 |
|
|---|
| 501 | if ( ! quiet ) {
|
|---|
| 502 | cerr << "CFA " << "Version " << Version << heading << endl;
|
|---|
| 503 | if ( help ) {
|
|---|
| 504 | cerr <<
|
|---|
| 505 | "-debug\t\t\t: use cfa runtime with debug checking" << endl <<
|
|---|
| 506 | "-help\t\t\t: print this help message" << endl <<
|
|---|
| 507 | "-quiet\t\t\t: print no messages from the cfa command" << endl <<
|
|---|
| 508 | "-CFA\t\t\t: run the cpp preprocessor and the cfa-cpp translator" << endl <<
|
|---|
| 509 | "-XCFA -cfa-cpp-flag\t: pass next flag as-is to the cfa-cpp translator" << endl <<
|
|---|
| 510 | "...\t\t\t: any other " << compiler_name << " flags" << endl;
|
|---|
| 511 | } // if
|
|---|
| 512 | } // if
|
|---|
| 513 |
|
|---|
| 514 | if ( verbose ) {
|
|---|
| 515 | if ( argc == 2 ) exit( EXIT_SUCCESS ); // if only the -v flag is specified, do not invoke gcc
|
|---|
| 516 |
|
|---|
| 517 | for ( int i = 0; args[i] != nullptr; i += 1 ) {
|
|---|
| 518 | cerr << args[i] << " ";
|
|---|
| 519 | } // for
|
|---|
| 520 | cerr << endl;
|
|---|
| 521 | } // if
|
|---|
| 522 |
|
|---|
| 523 | if ( ! nonoptarg ) {
|
|---|
| 524 | cerr << argv[0] << " error, no input files" << endl;
|
|---|
| 525 | exit( EXIT_FAILURE );
|
|---|
| 526 | } // if
|
|---|
| 527 |
|
|---|
| 528 | // execute the command and return the result
|
|---|
| 529 |
|
|---|
| 530 | execvp( args[0], (char *const *)args ); // should not return
|
|---|
| 531 | perror( "CFA Translator error: execvp" );
|
|---|
| 532 | exit( EXIT_FAILURE );
|
|---|
| 533 | } // main
|
|---|
| 534 |
|
|---|
| 535 | // Local Variables: //
|
|---|
| 536 | // tab-width: 4 //
|
|---|
| 537 | // mode: c++ //
|
|---|
| 538 | // compile-command: "make install" //
|
|---|
| 539 | // End: //
|
|---|
