lama_byterun/dune-project

(lang dune 3.11)

(name Lama)

(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))))
fix: update build files Add `install` stanza to `dune` files to install std and runtime to expected directories Delete manual copying from `install` scenario in `Makefile` 2024-11-12 07:14:21 +00:00			`(lang dune 3.11)`

			`(name Lama)`
move to dune; fix warnings 2023-09-04 21:43:28 +02:00
			`(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))))`