zellij-org/zellij
1
1
Fork 0
mirror of https://github.com/zellij-org/zellij.git synced 2024-12-23 01:01:30 +03:00
Code Issues Projects Releases Wiki Activity

fix(makefile): build-plugins on building dev-dir (#750)

Browse Source 
- add building plugins `build-plugins` as a dependency for the task
  `build-dev-data-dir`
This commit is contained in:
a-kenji 2021-09-30 09:15:47 +02:00 committed by GitHub
parent a232a8c39d
commit 7ab0e39931
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Makefile.toml
View File

@ -47,13 +47,15 @@ args = ["build"]
args = ["build", "--release"] args = ["build", "--release"]
[tasks.build-dev-data-dir] [tasks.build-dev-data-dir]
dependencies = ["build-plugins"]
script_runner = "@duckscript" script_runner = "@duckscript"
script = ''' script = '''
asset_dir = set ${CARGO_MAKE_WORKSPACE_WORKING_DIRECTORY}/assets
target_dir = set ${CARGO_TARGET_DIR} target_dir = set ${CARGO_TARGET_DIR}
data_dir = set ${target_dir}/dev-data data_dir = set ${target_dir}/dev-data
rm -r ${data_dir} rm -r ${data_dir}
plugins = glob_array ${target_dir}/wasm32-wasi/debug/*.wasm plugins = glob_array ${target_dir}/wasm32-wasi/debug/*.wasm
mkdir ${data_dir}
mkdir ${data_dir}/plugins
for plugin in ${plugins} for plugin in ${plugins}
plugin_name = basename ${plugin} plugin_name = basename ${plugin}
cp ${plugin} ${data_dir}/plugins/${plugin_name} cp ${plugin} ${data_dir}/plugins/${plugin_name}