Lines Matching refs:help
116 {help = "specify HOL state", long = ["holstate"], short = "",
118 {help = "thread count (0/none = max h/w count)", short = "",
120 {help = "specify Poly executable", long = ["poly"], short = "",
122 {help = "use poly rather than a HOL heap", long = ["poly_not_hol"],
126 {help = "perform a relocation build", long = ["relocbuild"], short = "",
129 {help = "specify Poly/ML lib directory", long = ["polymllibdir"],
132 {help = "set time limit (in seconds)", long = ["time_limit"], short = "t",
144 (map (fn {desc,help,short,long} =>
145 {desc = mapd desc, help = help, long = long, short = short})