morsmall (0.3.0-5) unstable; urgency=medium

  * Team upload.
  * Bump standards-version to 4.6.2.
  * Fix compilation with recent dune

[dgit import unpatched morsmall 0.3.0-5]

17 files changed, 198 insertions, 0 deletions

diff --git a/debian/changelog b/debian/changelog
new file mode 100644
index 0000000..e5e21cf
--- /dev/null
+++ b/debian/changelog
@@ -0,0 +1,63 @@
+morsmall (0.3.0-5) unstable; urgency=medium
+
+  * Team upload.
+  * Bump standards-version to 4.6.2.
+  * Fix compilation with recent dune
+
+ -- Julien Puydt <jpuydt@debian.org>  Fri, 07 Jul 2023 09:09:51 +0200
+
+morsmall (0.3.0-4) unstable; urgency=medium
+
+  * Add upstream/metadata
+  * Standards-Version 4.6.0 (no change)
+  * Build documentation:
+    - add ocaml-odoc to build-dependencies
+    - d/rules: invoke "make doc"
+    - install html doc
+    - add a doc-base entry
+
+ -- Ralf Treinen <treinen@debian.org>  Tue, 05 Oct 2021 04:48:07 +0200
+
+morsmall (0.3.0-3) unstable; urgency=medium
+
+  * Team upload
+  * Bump debhelper compat level to 13
+  * Bump Standards-Version to 4.5.0
+  * Add Rules-Requires-Root: no
+  * Add back empty dh_dwz override to fix FTBFS
+  * Add back inclusion of ocamlvars.mk for reproducibility
+
+ -- Stéphane Glondu <glondu@debian.org>  Mon, 27 Jul 2020 15:18:09 +0200
+
+morsmall (0.3.0-2) unstable; urgency=medium
+
+  * Standards-Version 4.5.0 (no change).
+  * d/rules: drop override of dh_dwz which is no longer needed.
+
+ -- Ralf Treinen <treinen@debian.org>  Wed, 12 Feb 2020 21:05:28 +0100
+
+morsmall (0.3.0-1) unstable; urgency=medium
+
+  * New upstream version.
+  * Change build-dependency on dune to ocaml-dune.
+  * Standards-Version 4.4.1 (no change)
+
+ -- Ralf Treinen <treinen@debian.org>  Wed, 12 Feb 2020 21:02:06 +0100
+
+morsmall (0.2.0-1) experimental; urgency=medium
+
+  * New upstream version.
+  * d/copyright: change GPL3 to GPL3+ (thanks to Thorsten Alteholz)
+  * d/control: build-dependency morbig requires >= 0.10.0
+  * test api-ocaml: more verbose
+  * d/rules:
+    - override dh_dwz
+    - invoke dh_dwz only on archictures where ocaml compiles to native code.
+
+ -- Ralf Treinen <treinen@debian.org>  Tue, 12 Mar 2019 20:52:24 +0100
+
+morsmall (0.1-1) unstable; urgency=medium
+
+  * Initial packaging (closes: #920362)
+
+ -- Ralf Treinen <treinen@debian.org>  Fri, 25 Jan 2019 08:52:49 +0100
diff --git a/debian/control b/debian/control
new file mode 100644
index 0000000..4dfab53
--- /dev/null
+++ b/debian/control
@@ -0,0 +1,31 @@
+Source: morsmall
+Section: ocaml
+Priority: optional
+Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
+Uploaders: Ralf Treinen <treinen@debian.org>,
+Build-Depends: debhelper-compat (= 13), dh-ocaml,
+ ocaml-nox (>= 4.04.0),
+ ocaml-dune,
+ ocaml-findlib,
+ ocaml-odoc,
+ libppx-deriving-ocaml-dev (>= 4.2.0),
+ libmorbig-ocaml-dev (>= 0.10.0)
+Standards-Version: 4.6.2
+Rules-Requires-Root: no
+Homepage: https://github.com/colis-anr/morsmall
+Vcs-Git: https://salsa.debian.org/ocaml-team/morsmall.git
+Vcs-Browser: https://salsa.debian.org/ocaml-team/morsmall
+
+Package: libmorsmall-ocaml-dev
+Architecture: any
+Depends: ${misc:Depends}, ${ocaml:Depends}, ${shlibs:Depends}
+Suggests: ocaml-findlib
+Provides: ${ocaml:Provides}
+Description: OCaml libraries for abstract syntax of shell scripts
+ The morsmall library defines a type for abstract syntax trees of
+ POSIX shell scripts. It also provides a converter from the concrete
+ syntax trees produced by the morbig parser to abstract syntax, and
+ a printer from abstract syntax to shell.
+ .
+ This development library is only useful when you are developing
+ OCaml programs that act on shell scripts.
diff --git a/debian/copyright b/debian/copyright
new file mode 100644
index 0000000..fadaaee
--- /dev/null
+++ b/debian/copyright
@@ -0,0 +1,23 @@
+Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
+Upstream-Name: morsmall
+Upstream-Contact: Yann Régis-Gianas <yrg@irif.fr>,
+		  Nicolas Jeannerod <jeannerod@irif.fr>,
+		  Ralf Treinen <treinen@irif.fr>
+Source: https://github.com/colis-anr/morsmall
+
+Files: *
+Copyright: © 2017,2018,2019 Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen.
+License: GPL-3+
+
+Files: debian/*
+Copyright: © 2019 Ralf Treinen
+License: GPL-3+
+
+License: GPL-3+
+ This program is free software: you can redistribute it and/or modify
+ it under the terms of the GNU General Public License as published by
+ the Free Software Foundation, either version 3 of the License, or
+ (at your option) any later version.
+ .
+ On Debian systems, the complete text of the GNU General Public License
+ version 3 can be found in `/usr/share/common-licenses/GPL-3'.
diff --git a/debian/gbp.conf b/debian/gbp.conf
new file mode 100644
index 0000000..cec628c
--- /dev/null
+++ b/debian/gbp.conf
@@ -0,0 +1,2 @@
+[DEFAULT]
+pristine-tar = True
diff --git a/debian/libmorsmall-ocaml-dev.doc-base b/debian/libmorsmall-ocaml-dev.doc-base
new file mode 100644
index 0000000..0009487
--- /dev/null
+++ b/debian/libmorsmall-ocaml-dev.doc-base
@@ -0,0 +1,9 @@
+Document: morsmall
+Title: morsmall API reference
+Author: Nicolas Jeannerod
+Abstract: Converter from Morbig's concrete syntax trees to abstract syntax trees.
+Section: Programming/OCaml
+
+Format: HTML
+Index: /usr/share/doc/libmorsmall-ocaml-dev/html/index.html
+Files: /usr/share/doc/libmorsmall-ocaml-dev/html/*
diff --git a/debian/libmorsmall-ocaml-dev.docs b/debian/libmorsmall-ocaml-dev.docs
new file mode 100644
index 0000000..ba78fe8
--- /dev/null
+++ b/debian/libmorsmall-ocaml-dev.docs
@@ -0,0 +1 @@
+usr/doc/morsmall/README.org
diff --git a/debian/libmorsmall-ocaml-dev.install b/debian/libmorsmall-ocaml-dev.install
new file mode 100644
index 0000000..2ab821a
--- /dev/null
+++ b/debian/libmorsmall-ocaml-dev.install
@@ -0,0 +1,2 @@
+/usr/lib/ocaml/
+_build/default/_doc/_html/*	/usr/share/doc/libmorsmall-ocaml-dev/html
diff --git a/debian/not-installed b/debian/not-installed
new file mode 100644
index 0000000..72b3233
--- /dev/null
+++ b/debian/not-installed
@@ -0,0 +1 @@
+doc/morsmall/LICENSE
diff --git a/debian/rules b/debian/rules
new file mode 100755
index 0000000..76d2c65
--- /dev/null
+++ b/debian/rules
@@ -0,0 +1,16 @@
+#!/usr/bin/make -f
+
+include /usr/share/ocaml/ocamlvars.mk
+
+%:
+	dh $@ --with ocaml
+
+override_dh_auto_build:
+	dune build
+	dune build @doc
+
+override_dh_auto_install:
+	dune install --destdir=$(CURDIR)/debian/tmp --prefix=/usr --libdir=$(OCAML_STDLIB_DIR)
+	find $(CURDIR)/debian/tmp -name LICENSE -delete
+
+override_dh_dwz:
diff --git a/debian/source/format b/debian/source/format
new file mode 100644
index 0000000..163aaf8
--- /dev/null
+++ b/debian/source/format
@@ -0,0 +1 @@
+3.0 (quilt)
diff --git a/debian/tests/_tags b/debian/tests/_tags
new file mode 100644
index 0000000..706c109
--- /dev/null
+++ b/debian/tests/_tags
@@ -0,0 +1,3 @@
+<ext>: include
+true : package(morsmall)
+true : use_unix
diff --git a/debian/tests/api-ocaml b/debian/tests/api-ocaml
new file mode 100755
index 0000000..b458604
--- /dev/null
+++ b/debian/tests/api-ocaml
@@ -0,0 +1,25 @@
+#!/bin/sh
+
+set -e
+
+indir=${PWD}/debian/tests
+outdir=${ADT_ARTIFACTS-/tmp/morsmall-package-test}/ocaml-api
+mkdir -p ${outdir}
+cd ${outdir}
+cp ${indir}/parse_and_print.ml ${indir}/_tags ${indir}/helloworld.sh .
+
+echo "* Compile to bytecode."
+ocamlbuild -use-ocamlfind parse_and_print.byte
+echo "* Run the bytecode."
+./parse_and_print.byte helloworld.sh > helloworld.byte.out
+diff helloworld.sh helloworld.byte.out
+
+if [ -x /usr/bin/ocamlopt ]; then
+    echo "* Compile to native code."
+    ocamlbuild -use-ocamlfind parse_and_print.native
+    echo "* Run the native code."
+    ./parse_and_print.native helloworld.sh > helloworld.native.out
+    diff helloworld.sh helloworld.native.out
+fi
+
+
diff --git a/debian/tests/control b/debian/tests/control
new file mode 100644
index 0000000..9606c80
--- /dev/null
+++ b/debian/tests/control
@@ -0,0 +1,2 @@
+Tests: api-ocaml
+Depends: libmorsmall-ocaml-dev, ocaml-nox, ocaml-findlib, ocamlbuild
diff --git a/debian/tests/helloworld.sh b/debian/tests/helloworld.sh
new file mode 100644
index 0000000..9df3383
--- /dev/null
+++ b/debian/tests/helloworld.sh
@@ -0,0 +1 @@
+{ echo hello world;}
\ No newline at end of file
diff --git a/debian/tests/parse_and_print.ml b/debian/tests/parse_and_print.ml
new file mode 100644
index 0000000..d66a1fa
--- /dev/null
+++ b/debian/tests/parse_and_print.ml
@@ -0,0 +1,3 @@
+let filename = Sys.argv.(1)
+let ast = Morsmall.parse_file filename
+let _ = Morsmall.pp_print_safe Format.std_formatter ast
diff --git a/debian/upstream/metadata b/debian/upstream/metadata
new file mode 100644
index 0000000..7a0e1c0
--- /dev/null
+++ b/debian/upstream/metadata
@@ -0,0 +1,11 @@
+Repository: https://github.com/colis-anr/morbig.git
+Repository-Browse: https://github.com/colis-anr/morbig
+Bug-Database: https://github.com/colis-anr/morbig/issues
+Funding: Agence Nationale de Recherche ANR-15-CE25-0001
+Reference:
+  Author: Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen
+  Title: "Morbig: A Static Parser for POSIX Shell"
+  Journal: Journal of Computer Languages
+  Volume: 57
+  Year: 2020
+  DOI: 10.1016/j.cola.2020.100944
diff --git a/debian/watch b/debian/watch
new file mode 100644
index 0000000..4d9f29a
--- /dev/null
+++ b/debian/watch
@@ -0,0 +1,4 @@
+version=4
+opts="mode=git, pgpmode=none" \
+	 https://github.com/colis-anr/morsmall.git \
+         refs/tags/([\d.]+)