lama_byterun/dune-project

(lang dune 3.3)

(cram enable)

(generate_opam_files true)

(bug_reports "https://github.com/PLTools/Lama/issues")

(homepage "https://github.com/PLTools/Lama")

(maintainers "http://github.com/Kakadu")

(authors "http://github.com/dboulytchev" "http://github.com/danyaberezun")

(license GPL-3.0-only)

(package
 (name Lama)
 (synopsis
  "A programming language (initially developed by JetBrains Research) for educational purposes as an exemplary language to introduce the domain of programming languages, compilers, and tools")
 (depends
  posix-uname
  GT
  (ostap
   (>= 0.6))))
move to dune; fix warnings 2023-09-04 21:43:28 +02:00			`(lang dune 3.3)`

			`(cram enable)`
WIP on more dune Signed-off-by: Kakadu <Kakadu@pm.me> 2024-08-30 00:35:31 +03:00
			`(generate_opam_files true)`

Improve opam file Signed-off-by: Kakadu <Kakadu@pm.me> 2024-09-05 19:00:48 +03:00			`(bug_reports "https://github.com/PLTools/Lama/issues")`

			`(homepage "https://github.com/PLTools/Lama")`

			`(maintainers "http://github.com/Kakadu")`

			`(authors "http://github.com/dboulytchev" "http://github.com/danyaberezun")`

			`(license GPL-3.0-only)`

WIP on more dune Signed-off-by: Kakadu <Kakadu@pm.me> 2024-08-30 00:35:31 +03:00			`(package`
			`(name Lama)`
Minor polishing Signed-off-by: Kakadu <Kakadu@pm.me> 2024-09-05 18:32:06 +03:00			`(synopsis`
Improve opam file Signed-off-by: Kakadu <Kakadu@pm.me> 2024-09-05 19:00:48 +03:00			`"A programming language (initially developed by JetBrains Research) for educational purposes as an exemplary language to introduce the domain of programming languages, compilers, and tools")`
Dunify tutorial Signed-off-by: Kakadu <Kakadu@pm.me> 2024-09-05 14:51:37 +03:00			`(depends`
			`posix-uname`
			`GT`
			`(ostap`
			`(>= 0.6))))`