# $Id: _tags 3374 2015-11-14 13:40:08Z sutre $

# Source directories
<.>: include

# Required libraries
true: package(Z3)

# Code optimization for native-code compilation
<**/*.cmx>: noassert, unsafe, inline(100)

# Type annotations
<**/*.ml>: annot

# Enable all warnings except warning 44 (open statement shadows ...) by default
<**/*.ml>: warn_A
#, warn_-44

# Disable warning 4 (fragile pattern matching) for the generated parser
#"src/AutParser.ml": warn_-4
"ScmParser.ml": warn_-4
