mirror of
https://github.com/logos-blockchain/logos-blockchain-circuits.git
synced 2026-05-18 23:39:47 +00:00
13 lines
482 B
Makefile
13 lines
482 B
Makefile
prettify:
|
|
nix shell nixpkgs#clang-tools -c clang-format -i src/**.cpp src/**.hpp
|
|
|
|
# Run a Sage script in a Docker container.
|
|
# Output is written relative to the script's directory.
|
|
# Example: just sage-run blend/generate_inputs_for_poq.py 1 10 5 0
|
|
# -> blend/input.json
|
|
sage-run script +args='':
|
|
docker run --rm \
|
|
-v "{{justfile_directory()}}:/work" \
|
|
-w "/work/$(dirname '{{script}}')" \
|
|
sagemath/sagemath sage "$(basename '{{script}}')" {{args}}
|