64bc5d5bdb
* scripts/clippy.sh: remove cargo clean step Clippy used to only report warnings in code that was not part of the incremental cache. This has changed since and I believe we can safely drop the `cargo clean` step. * Revert "ci: install z3 to avoid building from source" This reverts commit 6ff1c4088811040dcfdbd12273f0baf507a4308b. This doesn't do anything as we're using `static-link-z3` explicitly. * refactor test_all_fuzzers nyx tests were not included in `time_record` before this * nyx fuzzer: move modprobe logic out of setup_libxml2.sh
70 lines
1.4 KiB
TOML
70 lines
1.4 KiB
TOML
|
|
# Variables
|
|
[env]
|
|
FUZZER_NAME='nyx_libxml2_parallel'
|
|
PROJECT_DIR = { script = ["pwd"] }
|
|
|
|
[config]
|
|
skip_core_tasks = true # skip `cargo test` to avoid error
|
|
|
|
[tasks.unsupported]
|
|
script_runner="@shell"
|
|
script='''
|
|
echo "Cargo-make not integrated yet on this platform"
|
|
'''
|
|
|
|
[tasks.build]
|
|
dependencies = [ "libxml2" ]
|
|
|
|
[tasks.libxml2]
|
|
linux_alias = "libxml2_unix"
|
|
mac_alias = "unsupported"
|
|
windows_alias = "unsupported"
|
|
|
|
[tasks.libxml2_unix]
|
|
# condition = { files_not_exist = ["./libxml2"]}
|
|
script_runner="@shell"
|
|
script='''
|
|
./setup_libxml2.sh
|
|
'''
|
|
|
|
[tasks.enable_kvm_vmware_hypercall]
|
|
script_runner = "@shell"
|
|
script='''
|
|
if [ ! -e /sys/module/kvm/parameters/enable_vmware_backdoor ] ||
|
|
! grep -qF Y /sys/module/kvm/parameters/enable_vmware_backdoor; then
|
|
sudo modprobe -r kvm-intel # or kvm-amd for AMD
|
|
sudo modprobe -r kvm
|
|
sudo modprobe kvm enable_vmware_backdoor=y
|
|
sudo modprobe kvm-intel
|
|
fi;
|
|
'''
|
|
|
|
# Run the fuzzer
|
|
[tasks.run]
|
|
linux_alias = "run_unix"
|
|
mac_alias = "unsupported"
|
|
windows_alias = "unsupported"
|
|
|
|
[tasks.run_unix]
|
|
script_runner = "@shell"
|
|
script='''
|
|
cargo run
|
|
'''
|
|
dependencies = [ "libxml2", "enable_kvm_vmware_hypercall" ]
|
|
|
|
# Clean up
|
|
[tasks.clean]
|
|
linux_alias = "clean_unix"
|
|
mac_alias = "unsupported"
|
|
windows_alias = "unsupported"
|
|
|
|
[tasks.clean_unix]
|
|
# Disable default `clean` definition
|
|
clear = true
|
|
script_runner="@shell"
|
|
script='''
|
|
make -C ./libxml2 clean
|
|
cargo clean
|
|
'''
|