Something went wrong. Try again.
READ-ONLY MIRROR of the previous soteria repo
Something went wrong. Try again.
123456789101112131415161718192021(executable (name package) (libraries cmdliner shexp.process str cerberus-lib.c_parser cerberus-lib.mem.concrete cerberus-lib.backend_common soteria_c_lib))
(rule ; This rule makes sure the macOS_dylibs.txt are up-to-date. (alias dylist-file) (deps %{bin:soteria-c} ./package.exe) (action (progn (with-stdout-to macOS_dylibs_found.txt (run ./package.exe infer-dylibs %{bin:soteria-c})) (diff? macOS_dylibs.txt macOS_dylibs_found.txt))))