Permalink
Browse files

Log during configure whether native CIL libs will be installed.

  • Loading branch information...
1 parent 91f4a8f commit 7006aa1acd16d400a8379e48b576b34b06276861 @pmundkur pmundkur committed Oct 20, 2013
Showing with 1 addition and 0 deletions.
  1. +1 −0 configure.ac
View
@@ -203,4 +203,5 @@ CIL configuration:
gcc to use CC $CC
default compiler DEFAULT_COMPILER $DEFAULT_COMPILER
CIL version CIL_VERSION $CIL_VERSION
+ Native OCaml CIL libs $OCAMLNATDYNLINK
EOF

0 comments on commit 7006aa1

Please sign in to comment.