_tags

#
# when building the web-interface the Makefile adds the predicate nozarith,
# that causes package(lem) and package(linksem) to chose the version that
# does not use zarith, lem_num and linksem_num, otherwise lem_zarith and
# linksem_zarith are selected
#

#
# exclude the following folders:
#
"doc"                         : -traverse
"old"                         : -traverse
"regression"                  : -traverse
"regression-rems"             : -traverse
"scripts"                     : -traverse
"src_concurrency_model"       : -traverse
"src_web_interface"           : -traverse
"tests"                       : -traverse
"tests-adhoc"                 : -traverse
"tests-rit"                   : -traverse
"patches"                     : -traverse

#
# search path for source files:
#   the Makefile also adds src_top/text or src_top/web or src_top/headless
#   according to the selected UI
#
"src_top"                         : include
"src_top/herd_based"              : include
"src_top/herd_based/lib"          : include
"src_top/herd_based/litmus"       : include
"generated_ocaml"                 : include
"src_sail_legacy/src/lem_interp"  : include


#
# files that use js_of_ocaml special syntax:
#
<src_top/web/*.{ml,mli}> or <src_top/webppc.ml> : package(js_of_ocaml), package(js_of_ocaml-ppx)

#
# library dependencies:
#
<src_top/*.{ml,mli}> or <src_top/**/*.{ml,mli}> : package(lem), package(linksem), package(base64)
<src_top/text/*.{ml,mli}>                    : package(lambda-term)
<generated_ocaml/*.{ml,mli}>                 : package(lem)
<src_sail_legacy/src/lem_interp/*.{ml,mli}>  : package(lem)

<src_marshal_defs/marshal_defs.{d.byte,byte,native,p.native}> : package(lem), package(base64)

<src_top/main.{d.byte,byte,native,p.native}> : thread, package(unix), package(str), package(lem), package(linksem), package(base64)
# the Makefile also adds package(lambda-term) when building text (and not headless)

<src_top/webppc.{d.byte,byte}> : package(unix), package(js_of_ocaml), package(lem), package(linksem), package(base64)

<src_top/console_help_printer.{d.byte,byte,native,p.native}> : package(lem), package(base64)

<src_top/litmus2xml.{d.byte,byte,native,p.native}> : package(unix), package(str), package(linksem), package(base64)

<**/*.d.byte> : debug

#
# ignore warnings
#
<generated_ocaml/*_embed_types.ml>          : warn_p, warn_y
<generated_ocaml/*_embed.ml>                : warn_p, warn_y
<generated_ocaml/riscv.ml>                  : warn_a

# <generated_ocaml/*_embed.ml>              : linscan