Commit f2b9fed1 authored by POGODALLA Sylvain's avatar POGODALLA Sylvain

Add a new package acgtkLib to be installed via jbuilder/opam, and new rules...

Add a new package acgtkLib to be installed via jbuilder/opam, and new rules for building documentation
parent 20dd4bc2
This diff is collapsed.
opam-version: "1.2"
maintainer: "sylvain.pogodalla@inria.fr"
build: [
["jbuilder" "subst"] {pinned}
["jbuilder" "build" "-p" name "-j" jobs]
]
depends: [
"jbuilder" {build}
"dypgen"
"camlp4"
"bolt"
"ANSITerminal"
"cairo2"
"yojson"
"easy-format"
"ocf"
]
available: [ ocaml-version >= "4.03.0" ]
dev-repo: "https://gitlab.inria.fr/ACG/dev/ACGtk.git"
homepage: "http://acg.gforge.inria.fr/"
license: "CeCILL"
authors: ["Sylvain Pogodalla"]
bug-reports: "sylvain.pogodalla@inria.fr"
......@@ -3,6 +3,8 @@
(jbuild_version 1)
(install
((section share_root)
(
(package acgtk)
(section share_root)
(files ((acg.el as emacs/site-lisp/acg.el)))))
......@@ -3,7 +3,9 @@
(jbuild_version 1)
(install
((section share)
(
(package acgtk)
(section share)
(files (
(anbncndn.acg as examples/anbncndn.acg)
(cfg.acg as examples/cfg.acg)
......
#|(env
(dev
(flags (:standard -w +42)))
(release
(flags (:standard -58))))
|#
\ No newline at end of file
......@@ -5,6 +5,7 @@
;; This stanza declares the AcgData library
(library
((name acgData)
(public_name acgtkLib.acgData)
(preprocess (per_module
((action (system "${bin:camlp4} -parser o -parser op -printer a -loc loc ${lib:bolt:bolt_pp.cmo} -level NONE ${<}" ))
(reduction acg_lexicon type_system signature))
......@@ -13,3 +14,5 @@
logic ; internal library
datalogLib ; internal library
))))
(documentation ((package acgtk)))
......@@ -8,6 +8,7 @@
;; This stanza declares the DatalogLib
(library
((name datalogLib)
(public_name acgtkLib.datalogLib)
(preprocess (per_module
(
(action (system "${bin:camlp4} -parser o -parser op -printer a -loc loc ${lib:bolt:bolt_pp.cmo} -level NONE ${<}" ))
......@@ -37,3 +38,4 @@
((name testbuild)
(deps (test.exe db_test.exe))))
(documentation ((package acgtk)))
......@@ -21,11 +21,19 @@ open UtilsLib
module Actual_env = Grammars.Environment.Environment
module Sg=Actual_env.Signature1
(** This module correspond to the main funtion of the ACG compiler and
its command line interface. *)
type return_status = Failure | Success of ((string option) * Actual_env.t)
(* The pair is meant to keep the name of the current parsing file,
and the build environment *)
(** Tries a reference to {!Logic.Lambda.Lambda.stype}. *)
module Actual_parser = Grammars.Data_parser.Parser
let resize_terminal () =
......
......@@ -35,3 +35,5 @@
grammars
))))
(documentation ((package acgtkLib)))
......@@ -5,7 +5,8 @@
;; This declares the Logic libreary
(library
((name logic)
(modules (:standard \ typeInference_test type_inference type_inference_test))
(public_name acgtkLib.Logic)
(modules (:standard \ typeInference_test))
(preprocess (per_module
((action (system "${bin:camlp4} -parser o -parser op -printer a -loc loc ${lib:bolt:bolt_pp.cmo} -level NONE ${<}" ))
(typeInference varUnionFind))
......@@ -24,3 +25,5 @@
(alias
((name testbuild)
(deps (typeInference_test.exe))))
(documentation ((package acgtk)))
......@@ -24,3 +24,5 @@
)
(ocamllex (script_lexer))
(documentation ((package acgtk)))
......@@ -5,6 +5,7 @@
;; This declares the utilsLib library
(library
((name utilsLib)
(public_name acgtkLib.Utils)
(preprocess (per_module
((action (system "${bin:camlp4} -parser o -parser op -printer a -loc loc ${lib:bolt:bolt_pp.cmo} -level NONE ${<}"))
(utils sharedForest))
......@@ -30,3 +31,4 @@
((name testbuild)
(deps (test_sharedForest.exe test_dependencyManager.exe))))
(documentation ((package acgtk)))
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment