_tags

# --------------------------------------------------------------------
true : debug
true : warn_a
true : bin_annot
true : use_menhir, menhir_explain

# --------------------------------------------------------------------
<libs>: include
<libs/solveq/*>: include

<libs/solveq/**/*.{ml,mli}>: package(batteries,menhirLib,num)
<libs/solveq/**/*.{cmo,cmx}>: for-pack(Solveq)


# --------------------------------------------------------------------
<libs/solveq/Main/main.native> : package(batteries,menhirLib,num)
<libs/solveq/Main/main.native> : include

# --------------------------------------------------------------------
<tests/*.{ml,mli}> : package(batteries,menhirLib,num)