NoRedInk/noredink-ui
1
1
Fork 0
mirror of https://github.com/NoRedInk/noredink-ui.git synced 2024-11-27 13:02:42 +03:00
Code Issues Packages Projects Releases Wiki Activity

make arguments work the same as those to the Elm compiler

Browse Source
This commit is contained in:
Brian Hicks 2023-04-27 16:44:56 -05:00
parent 9b94e314d5
commit 1bbb156ef0
No known key found for this signature in database
GPG Key ID: C4F324B9CAAB0D50
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
prelude-nri/elm/isolated_compile.py
View File

@ -70,7 +70,7 @@ def run_docs(args):
"--docs",
# since we're changing cwd, we need to output the absolute path
# instead of a (potentially) relative one.
os.path.abspath(args.out),
os.path.abspath(args.output),
]
logging.debug(f"running {command} in `{args.build_dir}`")
process = Popen(command, cwd=args.build_dir)
@ -171,7 +171,7 @@ def run_make(args):
# STEP 4: Prepare and run the `elm make` invocation #
#####################################################
command = [args.elm_compiler, "make", main, "--output", os.path.abspath(args.out)]
command = [args.elm_compiler, "make", main, "--output", os.path.abspath(args.output)]
if args.debug and args.optimize:
print("Only one of --debug or --optimize can be set.")
@ -219,16 +219,16 @@ if __name__ == "__main__":
docs = subparsers.add_parser("docs", help=run_docs.__doc__)
docs.set_defaults(func=run_docs)
docs.add_argument(
"--out", help="Path for the resulting docs JSON file", default="docs.json"
"--output", help="Path for the resulting docs JSON file", default="docs.json"
)
docs.add_argument("--src", help="Path to library source", default="src")
make = subparsers.add_parser("make", help=run_make.__doc__)
make.set_defaults(func=run_make)
make.add_argument("main", help="Main.elm file to build")
make.add_argument(
"--out", help="Path for the resulting JavaScript or HTML file", default="app.js"
"--output", help="Path for the resulting JavaScript or HTML file", default="app.js"
)
make.add_argument("--main", help="Main.elm file to build", default="Main.elm")
make.add_argument(
"--source-directory",
type=SourceDirectory,