Skip to content

Commit

Permalink
restore flags to bin/dune.
Browse files Browse the repository at this point in the history
a bit of a hack to support compilation on debian.
  • Loading branch information
katrinafyi committed Feb 28, 2024
1 parent 0993fb0 commit 53864ac
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 1 deletion.
1 change: 1 addition & 0 deletions bin/dune
Original file line number Diff line number Diff line change
Expand Up @@ -3,5 +3,6 @@
(name main)
(modules main)
(libraries gtirb_semantics base64 yojson asli.libASL llvm_disas)
(flags :standard -cclib (:include ../llvm-disas/llvmconf.sexp))
)

3 changes: 2 additions & 1 deletion llvm-disas/dune
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@

(rule
(targets llvmconf.sexp)
(action (bash "$(opam var conf-llvm:config) --libs > llvmconf.sexp"))
; use opam if present otherwise fall back to $LLVM_CONFIG
(action (bash "if command -v opam; then llvm_config=$(opam var conf-llvm:config); fi ; ${llvm_config:-$LLVM_CONFIG} --libs > llvmconf.sexp"))
)

0 comments on commit 53864ac

Please sign in to comment.