;;; SPDX-FileCopyrightText: 2024 The Forester Project Contributors
;;;
;;; SPDX-License-Identifier: GPL-3.0-or-later

(env
 (_
  (env-vars
   (EIO_BACKEND posix))))

; We load in the trees from the docs and ensure that we can roundtrip everything.

(test
 (name roundtrip)
 (modules Roundtrip)
 (libraries
  alcotest
  forester.parser
  fmt
  ppx_deriving.runtime
  forester.core
  grace)
 (deps
  (source_tree ../docs/trees)))

(library
 (name Forester_test)
 (modules Forester_test Prelude Testables)
 (public_name forester.test)
 (preprocess
  (pps ppx_deriving.show ppx_yojson_conv))
 (libraries
  alcotest
  algaeff
  forester.prelude
  forester.core
  forester.compiler
  forester.parser
  forester.frontend
  forester.language_server
  logs
  eio
  eio_main
  eio.unix
  grace
  grace.ansi_renderer
  bwd
  fmt
  lsp
  jsonrpc
  yojson))

(executable
 (name Print_diagnostics)
 (modules Print_diagnostics)
 (public_name print-diagnostics)
 (libraries
  grace
  grace.std
  lsp
  yojson
  forester.prelude
  forester.core
  forester.parser
  forester.compiler
  forester.language_server))

(cram
 (deps
  (package forester))
 (locks /tests))

(cram
 (applies_to diagnostics)
 (deps %{bin:print-diagnostics})
 (locks /tests))

(cram
 (applies_to section-flags)
 (locks /tests)
 (enabled_if
  (<> %{env:IN_NIX_SHELL=} "")))

(cram
 (applies_to latex-parallel)
 (deps
  (package forester))
 (locks /tests)
 (enabled_if
  (and
   (= %{bin-available:latex} true)
   (= %{bin-available:dvisvgm} true))))