(lang dune 3.14)
(name elpi)
(sections
 (lib /usr/lib/ocaml/elpi)
 (libexec /usr/lib/ocaml/elpi)
 (bin /usr/bin)
 (doc /usr/doc/elpi))
(files
 (lib
  (.private/elpi__Builtin_map.cmi
   .private/elpi__Builtin_map.cmt
   .private/elpi__Builtin_set.cmi
   .private/elpi__Builtin_set.cmt
   .private/elpi__Builtin_stdlib.cmi
   .private/elpi__Builtin_stdlib.cmt
   .private/elpi__Compiler.cmi
   .private/elpi__Compiler.cmt
   .private/elpi__Compiler.cmti
   .private/elpi__Data.cmi
   .private/elpi__Data.cmt
   .private/elpi__Legacy_parser_proxy.cmi
   .private/elpi__Legacy_parser_proxy.cmt
   .private/elpi__Legacy_parser_proxy.cmti
   .private/elpi__Ptmap.cmi
   .private/elpi__Ptmap.cmt
   .private/elpi__Ptmap.cmti
   .private/elpi__Runtime.cmi
   .private/elpi__Runtime.cmt
   .private/elpi__Runtime.cmti
   .private/elpi__Runtime_trace_off.cmi
   .private/elpi__Runtime_trace_off.cmt
   .private/elpi__Runtime_trace_off.cmti
   API.ml
   API.mli
   META
   builtin.elpi
   builtin.ml
   builtin.mli
   builtin_checker.ml
   builtin_map.ml
   builtin_set.ml
   builtin_stdlib.ml
   compiler.ml
   compiler.mli
   data.ml
   dune-package
   elpi-quoted_syntax.elpi
   elpi.a
   elpi.cma
   elpi.cmi
   elpi.cmt
   elpi.cmx
   elpi.cmxa
   elpi.ml
   elpi2html.elpi
   elpi__.cmi
   elpi__.cmt
   elpi__.cmx
   elpi__.ml
   elpi__API.cmi
   elpi__API.cmt
   elpi__API.cmti
   elpi__API.cmx
   elpi__Builtin.cmi
   elpi__Builtin.cmt
   elpi__Builtin.cmti
   elpi__Builtin.cmx
   elpi__Builtin_checker.cmi
   elpi__Builtin_checker.cmt
   elpi__Builtin_checker.cmx
   elpi__Builtin_map.cmx
   elpi__Builtin_set.cmx
   elpi__Builtin_stdlib.cmx
   elpi__Compiler.cmx
   elpi__Data.cmx
   elpi__Legacy_parser_proxy.cmx
   elpi__Ptmap.cmx
   elpi__Runtime.cmx
   elpi__Runtime_trace_off.cmx
   legacy_parser_proxy.ml
   legacy_parser_proxy.mli
   lexer_config/elpi_lexer_config.a
   lexer_config/elpi_lexer_config.cma
   lexer_config/elpi_lexer_config.cmi
   lexer_config/elpi_lexer_config.cmt
   lexer_config/elpi_lexer_config.cmx
   lexer_config/elpi_lexer_config.cmxa
   lexer_config/elpi_lexer_config.ml
   lexer_config/elpi_lexer_config__Lexer_config.cmi
   lexer_config/elpi_lexer_config__Lexer_config.cmt
   lexer_config/elpi_lexer_config__Lexer_config.cmx
   lexer_config/elpi_lexer_config__Tokens.cmi
   lexer_config/elpi_lexer_config__Tokens.cmt
   lexer_config/elpi_lexer_config__Tokens.cmti
   lexer_config/elpi_lexer_config__Tokens.cmx
   lexer_config/lexer_config.ml
   lexer_config/tokens.ml
   lexer_config/tokens.mli
   opam
   parser/ast.ml
   parser/ast.mli
   parser/elpi_parser.a
   parser/elpi_parser.cma
   parser/elpi_parser.cmi
   parser/elpi_parser.cmt
   parser/elpi_parser.cmx
   parser/elpi_parser.cmxa
   parser/elpi_parser.ml
   parser/elpi_parser__Ast.cmi
   parser/elpi_parser__Ast.cmt
   parser/elpi_parser__Ast.cmti
   parser/elpi_parser__Ast.cmx
   parser/elpi_parser__Error_messages.cmi
   parser/elpi_parser__Error_messages.cmt
   parser/elpi_parser__Error_messages.cmx
   parser/elpi_parser__Grammar.cmi
   parser/elpi_parser__Grammar.cmt
   parser/elpi_parser__Grammar.cmti
   parser/elpi_parser__Grammar.cmx
   parser/elpi_parser__Lexer.cmi
   parser/elpi_parser__Lexer.cmt
   parser/elpi_parser__Lexer.cmx
   parser/elpi_parser__Parse.cmi
   parser/elpi_parser__Parse.cmt
   parser/elpi_parser__Parse.cmti
   parser/elpi_parser__Parse.cmx
   parser/elpi_parser__Parser_config.cmi
   parser/elpi_parser__Parser_config.cmt
   parser/elpi_parser__Parser_config.cmx
   parser/error_messages.ml
   parser/grammar.ml
   parser/grammar.mli
   parser/lexer.ml
   parser/parse.ml
   parser/parse.mli
   parser/parser_config.ml
   ptmap.ml
   ptmap.mli
   runtime.ml
   runtime.mli
   runtime_trace_off.ml
   runtime_trace_off.mli
   trace.atd
   trace/ppx/trace_ppx.a
   trace/ppx/trace_ppx.cma
   trace/ppx/trace_ppx.cmi
   trace/ppx/trace_ppx.cmt
   trace/ppx/trace_ppx.cmx
   trace/ppx/trace_ppx.cmxa
   trace/ppx/trace_ppx.ml
   trace/runtime/runtime.ml
   trace/runtime/runtime.mli
   trace/runtime/trace_ppx_runtime.a
   trace/runtime/trace_ppx_runtime.cma
   trace/runtime/trace_ppx_runtime.cmi
   trace/runtime/trace_ppx_runtime.cmt
   trace/runtime/trace_ppx_runtime.cmx
   trace/runtime/trace_ppx_runtime.cmxa
   trace/runtime/trace_ppx_runtime.ml
   trace/runtime/trace_ppx_runtime__Runtime.cmi
   trace/runtime/trace_ppx_runtime__Runtime.cmt
   trace/runtime/trace_ppx_runtime__Runtime.cmti
   trace/runtime/trace_ppx_runtime__Runtime.cmx
   trace_atd.ts
   util/elpi_util.a
   util/elpi_util.cma
   util/elpi_util.cmi
   util/elpi_util.cmt
   util/elpi_util.cmx
   util/elpi_util.cmxa
   util/elpi_util.ml
   util/elpi_util__Util.cmi
   util/elpi_util__Util.cmt
   util/elpi_util__Util.cmti
   util/elpi_util__Util.cmx
   util/util.ml
   util/util.mli))
 (libexec
  (elpi.cmxs
   lexer_config/elpi_lexer_config.cmxs
   parser/elpi_parser.cmxs
   trace/ppx/ppx.exe
   trace/ppx/trace_ppx.cmxs
   trace/runtime/trace_ppx_runtime.cmxs
   util/elpi_util.cmxs))
 (bin (elpi elpi-trace-elaborator))
 (doc (CHANGES.md LICENSE README.md)))
(library
 (name elpi)
 (kind normal)
 (archives (byte elpi.cma) (native elpi.cmxa))
 (plugins (byte elpi.cma) (native elpi.cmxs))
 (native_archives elpi.a)
 (requires
  re.str
  unix
  stdlib-shims
  elpi.parser
  elpi.util
  ppx_deriving.runtime
  elpi.trace.runtime)
 (main_module_name Elpi)
 (modes byte native)
 (obj_dir (private_dir .private))
 (modules
  (wrapped
   (group
    (alias
     (obj_name elpi__)
     (visibility public)
     (kind alias)
     (source (path Elpi__) (impl (path elpi__.ml-gen))))
    (name Elpi)
    (modules
     (module
      (obj_name elpi__API)
      (visibility public)
      (source (path API) (intf (path API.mli)) (impl (path API.ml))))
     (module
      (obj_name elpi__Builtin)
      (visibility public)
      (source
       (path Builtin)
       (intf (path builtin.mli))
       (impl (path builtin.ml))))
     (module
      (obj_name elpi__Builtin_checker)
      (visibility public)
      (source (path Builtin_checker) (impl (path builtin_checker.ml))))
     (module
      (obj_name elpi__Builtin_map)
      (visibility private)
      (source (path Builtin_map) (impl (path builtin_map.ml))))
     (module
      (obj_name elpi__Builtin_set)
      (visibility private)
      (source (path Builtin_set) (impl (path builtin_set.ml))))
     (module
      (obj_name elpi__Builtin_stdlib)
      (visibility private)
      (source (path Builtin_stdlib) (impl (path builtin_stdlib.ml))))
     (module
      (obj_name elpi__Compiler)
      (visibility private)
      (source
       (path Compiler)
       (intf (path compiler.mli))
       (impl (path compiler.ml))))
     (module
      (obj_name elpi__Data)
      (visibility private)
      (source (path Data) (impl (path data.ml))))
     (module
      (obj_name elpi)
      (visibility public)
      (source (path Elpi) (impl (path elpi.ml))))
     (module
      (obj_name elpi__Legacy_parser_proxy)
      (visibility private)
      (source
       (path Legacy_parser_proxy)
       (intf (path legacy_parser_proxy.mli))
       (impl (path legacy_parser_proxy.ml))))
     (module
      (obj_name elpi__Ptmap)
      (visibility private)
      (source (path Ptmap) (intf (path ptmap.mli)) (impl (path ptmap.ml))))
     (module
      (obj_name elpi__Runtime)
      (visibility private)
      (source
       (path Runtime)
       (intf (path runtime.mli))
       (impl (path runtime.ml))))
     (module
      (obj_name elpi__Runtime_trace_off)
      (visibility private)
      (source
       (path Runtime_trace_off)
       (intf (path runtime_trace_off.mli))
       (impl (path runtime_trace_off.ml))))))
   (wrapped true))))
(library
 (name elpi.lexer_config)
 (kind normal)
 (archives
  (byte lexer_config/elpi_lexer_config.cma)
  (native lexer_config/elpi_lexer_config.cmxa))
 (plugins
  (byte lexer_config/elpi_lexer_config.cma)
  (native lexer_config/elpi_lexer_config.cmxs))
 (native_archives lexer_config/elpi_lexer_config.a)
 (requires elpi.util)
 (main_module_name Elpi_lexer_config)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name elpi_lexer_config)
     (visibility public)
     (kind alias)
     (source
      (path Elpi_lexer_config)
      (impl (path lexer_config/elpi_lexer_config.ml-gen))))
    (name Elpi_lexer_config)
    (modules
     (module
      (obj_name elpi_lexer_config__Lexer_config)
      (visibility public)
      (source (path Lexer_config) (impl (path lexer_config/lexer_config.ml))))
     (module
      (obj_name elpi_lexer_config__Tokens)
      (visibility public)
      (source
       (path Tokens)
       (intf (path lexer_config/tokens.mli))
       (impl (path lexer_config/tokens.ml))))))
   (wrapped true))))
(library
 (name elpi.parser)
 (kind normal)
 (archives (byte parser/elpi_parser.cma) (native parser/elpi_parser.cmxa))
 (plugins (byte parser/elpi_parser.cma) (native parser/elpi_parser.cmxs))
 (native_archives parser/elpi_parser.a)
 (requires
  unix
  menhirLib
  elpi.lexer_config
  elpi.util
  stdlib-shims
  ppx_deriving.runtime)
 (main_module_name Elpi_parser)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name elpi_parser)
     (visibility public)
     (kind alias)
     (source (path Elpi_parser) (impl (path parser/elpi_parser.ml-gen))))
    (name Elpi_parser)
    (modules
     (module
      (obj_name elpi_parser__Ast)
      (visibility public)
      (source
       (path Ast)
       (intf (path parser/ast.mli))
       (impl (path parser/ast.ml))))
     (module
      (obj_name elpi_parser__Error_messages)
      (visibility public)
      (source (path Error_messages) (impl (path parser/error_messages.ml))))
     (module
      (obj_name elpi_parser__Grammar)
      (visibility public)
      (source
       (path Grammar)
       (intf (path parser/grammar.mli))
       (impl (path parser/grammar.ml))))
     (module
      (obj_name elpi_parser__Lexer)
      (visibility public)
      (source (path Lexer) (impl (path parser/lexer.ml))))
     (module
      (obj_name elpi_parser__Parse)
      (visibility public)
      (source
       (path Parse)
       (intf (path parser/parse.mli))
       (impl (path parser/parse.ml))))
     (module
      (obj_name elpi_parser__Parser_config)
      (visibility public)
      (source (path Parser_config) (impl (path parser/parser_config.ml))))))
   (wrapped true))))
(library
 (name elpi.trace.ppx)
 (kind ppx_rewriter)
 (archives (byte trace/ppx/trace_ppx.cma) (native trace/ppx/trace_ppx.cmxa))
 (plugins (byte trace/ppx/trace_ppx.cma) (native trace/ppx/trace_ppx.cmxs))
 (native_archives trace/ppx/trace_ppx.a)
 (requires ppxlib.ast ppxlib)
 (ppx_runtime_deps elpi.trace.runtime)
 (main_module_name Trace_ppx)
 (modes byte native)
 (modules
  (singleton
   (obj_name trace_ppx)
   (visibility public)
   (source (path Trace_ppx) (impl (path trace/ppx/trace_ppx.ml))))))
(library
 (name elpi.trace.runtime)
 (kind normal)
 (archives
  (byte trace/runtime/trace_ppx_runtime.cma)
  (native trace/runtime/trace_ppx_runtime.cmxa))
 (plugins
  (byte trace/runtime/trace_ppx_runtime.cma)
  (native trace/runtime/trace_ppx_runtime.cmxs))
 (native_archives trace/runtime/trace_ppx_runtime.a)
 (requires re)
 (main_module_name Trace_ppx_runtime)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name trace_ppx_runtime)
     (visibility public)
     (kind alias)
     (source
      (path Trace_ppx_runtime)
      (impl (path trace/runtime/trace_ppx_runtime.ml-gen))))
    (name Trace_ppx_runtime)
    (modules
     (module
      (obj_name trace_ppx_runtime__Runtime)
      (visibility public)
      (source
       (path Runtime)
       (intf (path trace/runtime/runtime.mli))
       (impl (path trace/runtime/runtime.ml))))))
   (wrapped true))))
(library
 (name elpi.util)
 (kind normal)
 (archives (byte util/elpi_util.cma) (native util/elpi_util.cmxa))
 (plugins (byte util/elpi_util.cma) (native util/elpi_util.cmxs))
 (native_archives util/elpi_util.a)
 (requires unix re.str)
 (main_module_name Elpi_util)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name elpi_util)
     (visibility public)
     (kind alias)
     (source (path Elpi_util) (impl (path util/elpi_util.ml-gen))))
    (name Elpi_util)
    (modules
     (module
      (obj_name elpi_util__Util)
      (visibility public)
      (source
       (path Util)
       (intf (path util/util.mli))
       (impl (path util/util.ml))))))
   (wrapped true))))
