00001 /************************************************************************** 00002 * 00003 * Copyright (C) 2008, Johns Hopkins University. 00004 * All rights reserved. 00005 * 00006 * Redistribution and use in source and binary forms, with or 00007 * without modification, are permitted provided that the following 00008 * conditions are met: 00009 * 00010 * - Redistributions of source code must contain the above 00011 * copyright notice, this list of conditions, and the following 00012 * disclaimer. 00013 * 00014 * - Redistributions in binary form must reproduce the above 00015 * copyright notice, this list of conditions, and the following 00016 * disclaimer in the documentation and/or other materials 00017 * provided with the distribution. 00018 * 00019 * - Neither the names of the copyright holders nor the names of any 00020 * of any contributors may be used to endorse or promote products 00021 * derived from this software without specific prior written 00022 * permission. 00023 * 00024 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 00025 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 00026 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 00027 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 00028 * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 00029 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 00030 * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 00031 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 00032 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 00033 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 00034 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 00035 * 00036 **************************************************************************/ 00037 00038 #include "Options.hxx" 00039 00040 using namespace std; 00041 using namespace boost; 00042 using namespace boost; 00043 using namespace sherpa; 00044 00045 namespace Options { 00046 00047 bool showParse = false; 00048 bool showTypes = false; 00049 bool xmlTypes = false; 00050 bool showLex = false; 00051 bool useStdInc = true; 00052 bool useStdLib = true; 00053 bool advisory = false; 00054 bool rawTvars = false; 00055 bool showMaybes = false; 00056 bool FQtypes = true; 00057 bool showAllTccs = false; 00058 bool showPasses = false; 00059 bool noPrelude = false; 00060 bool dumpAfterMidEnd = false; 00061 bool dumpTypesAfterMidEnd = false; 00062 set<string> showTypesUocs; 00063 set<string> xmlTypesUocs; 00064 bool ppFQNS = false; 00065 bool ppDecorate = false; 00066 bool show_usage = false; 00067 unsigned verbose = 0; 00068 unsigned mixfixDebug = 0; 00069 FQNameSet entryPts; 00070 BackEnd *backEnd = 0; 00071 string outputFileName; 00072 vector<filesystem::path> libDirs; 00073 vector<filesystem::path> inputs; 00074 bool Wall = false; 00075 bool noGC = false; 00076 bool noAlloc = false; 00077 shared_ptr<TvPrinter> debugTvP = TvPrinter::make(); 00078 bool heuristicInference = false; 00079 00080 vector<string> LinkPreOptionsGCC; 00081 vector<string> CompilePreOptionsGCC; 00082 vector<string> LinkPostOptionsGCC; 00083 00084 vector<filesystem::path> SystemDirs; 00085 00086 }
1.4.7