NoRedInk/noredink-ui
1
1
Fork 0
mirror of https://github.com/NoRedInk/noredink-ui.git synced 2024-09-17 10:17:09 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #1384 from NoRedInk/wat-cache-elm-home

Browse Source 
cache ELM_HOME
This commit is contained in:
Brian Hicks 2023-05-03 10:06:58 -05:00 committed by GitHub
commit 0ed9380044
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -75,7 +75,11 @@ def run_docs(args):
os.path.abspath(args.output),
]
logging.debug(f"running {command} in `{args.build_dir}`")
process = Popen(command, cwd=args.build_dir)
process = Popen(
command,
cwd=args.build_dir,
env={"ELM_HOME": os.path.join(args.build_dir, "elm_home")},
)
process.communicate()
return process.returncode
@ -202,7 +206,11 @@ def run_make(args):
command.append("--optimize")
logging.debug(f"running {command} in `{args.build_dir}`")
process = Popen(command, cwd=args.build_dir)
process = Popen(
command,
cwd=args.build_dir,
env={"ELM_HOME": os.path.join(args.build_dir, "elm_home")},
)
process.communicate()
return process.returncode