86
86
# Get command-line arguments
88
88
opts, args = getopt.getopt(argv, \
90
90
["help", "version", "verbose", "silent", "language=", "representation=",
91
"optimize", "output-directory=", "quadrature-rule=", "error-control"])
91
"optimize", "output-directory=", "quadrature-rule=", "error-control", "restrict-keyword="])
92
92
except getopt.GetoptError:
94
94
error("Illegal command-line arguments.")