[Pkg-ocaml-maint-commits] [SCM] ocaml-atd packaging branch, master, updated. debian/0.9.2-1

Sylvain Le Gall gildor at debian.org
Fri Dec 3 00:41:44 UTC 2010


The following commit has been merged in the master branch:
commit 914c4e15fae7aedc902ddb44d84196515437009d
Author: Sylvain Le Gall <gildor at debian.org>
Date:   Fri Dec 3 01:32:51 2010 +0100

    Initial packaging

diff --git a/Makefile b/Makefile
index e67eb84..8e36586 100644
--- a/Makefile
+++ b/Makefile
@@ -144,6 +144,13 @@ clean:
 	rm -f $(patsubst %.mly,%.ml, $(MLY))
 	rm -f $(patsubst %.mll,%.ml, $(MLL))
 	rm -f atdcat.cm[ioxa] atdcat.o atdcat.cma atdcat.cmxa
+	-$(RM) META
+	-$(RM) atd.a atd.cma atd.cmxa atd_version.ml atdcat 
+	-$(RM) test.out test.out.out test2.out
+	-$(RM) *.annot
+
+.PHONY: distclean
+distclean: clean
 	rm -rf odoc
 	cd manual; $(MAKE) clean
 
diff --git a/debian/atdcat.1 b/debian/atdcat.1
new file mode 100644
index 0000000..998bcd4
--- /dev/null
+++ b/debian/atdcat.1
@@ -0,0 +1,63 @@
+.TH ATDCAT 1 "December 3, 2010" "ATDCat User Manual"
+.SH NAME
+.PP
+atdcat - check syntax of an ATD file.
+.SH SYNOPSIS
+.PP
+atdcat [options] file
+.SH DESCRIPTION
+.PP
+The syntax of an ATD file can be checked with the program atdcat
+provided with the OCaml library atd.
+atdcat pretty-prints its input data, optionally after some
+transformations such as monomorphization or inheritance.
+.SH OPTIONS
+.TP
+.B -x e
+make type expressions monomorphic
+.RS
+.RE
+.TP
+.B -xk
+keep parametrized type definitions and imply -x.
+Default is to return only monomorphic type definitions
+.RS
+.RE
+.TP
+.B -xd
+debug mode implying -x
+.RS
+.RE
+.TP
+.B -i
+expand all `inherit' statements
+.RS
+.RE
+.TP
+.B -if
+expand `inherit' statements in records
+.RS
+.RE
+.TP
+.B -iv
+expand `inherit' statements in sum types
+.RS
+.RE
+.TP
+.B -ml 
+output the ocaml code of the ATD abstract syntax tree
+.RS
+.RE
+.TP
+.B -version
+print the version of atd and exit
+.RS
+.RE
+.TP
+.B -help|--help
+Display list of options
+.RS
+.RE
+.SH AUTHORS
+Sylvain Le Gall.
+
diff --git a/debian/atdcat.mkd b/debian/atdcat.mkd
new file mode 100644
index 0000000..3937fd8
--- /dev/null
+++ b/debian/atdcat.mkd
@@ -0,0 +1,48 @@
+% ATDCAT(1) ATDCat User Manual
+% Sylvain Le Gall 
+% December 3, 2010
+
+# NAME
+
+atdcat - check syntax of an ATD file.
+
+# SYNOPSIS
+
+atdcat [options] file
+
+# DESCRIPTION
+
+  The syntax of an ATD file can be checked with the program atdcat
+provided with the OCaml library atd. atdcat pretty-prints its input
+data, optionally after some transformations such as monomorphization or
+inheritance. 
+
+# OPTIONS
+
+-x e
+:   make type expressions monomorphic
+
+-xk
+:   keep parametrized type definitions and imply -x.
+    Default is to return only monomorphic type definitions
+
+-xd 
+:   debug mode implying -x
+
+-i 
+:   expand all `inherit' statements
+
+-if 
+:   expand `inherit' statements in records
+
+-iv 
+:   expand `inherit' statements in sum types
+
+-ml <name>
+:   output the ocaml code of the ATD abstract syntax tree
+
+-version 
+:   print the version of atd and exit
+
+-help|\--help
+:   Display list of options
diff --git a/debian/changelog b/debian/changelog
new file mode 100644
index 0000000..6f8d33f
--- /dev/null
+++ b/debian/changelog
@@ -0,0 +1,5 @@
+ocaml-atd (0.9.2-1) unstable; urgency=low
+
+  * Initial release. (Closes: #605670)
+
+ -- Sylvain Le Gall <gildor at debian.org>  Thu, 02 Dec 2010 22:22:54 +0100
diff --git a/debian/compat b/debian/compat
new file mode 100644
index 0000000..7f8f011
--- /dev/null
+++ b/debian/compat
@@ -0,0 +1 @@
+7
diff --git a/debian/control b/debian/control
new file mode 100644
index 0000000..f2c814c
--- /dev/null
+++ b/debian/control
@@ -0,0 +1,42 @@
+Source: ocaml-atd
+Section: ocaml
+Priority: optional
+Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
+Uploaders: 
+  Sylvain Le Gall <gildor at debian.org>
+Build-Depends:
+  ocaml-nox (>= 3.11.1-3~),
+  ocaml-findlib,
+  dh-ocaml (>= 0.9~),
+  debhelper (>= 7.0.50~),
+  menhir, libeasy-format-ocaml-dev
+Standards-Version: 3.9.1
+Homepage: http://oss.wink.com/atd/
+Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/ocaml-atd.git
+Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/ocaml-atd.git
+
+Package: libatd-ocaml-dev
+Architecture: any
+Depends: ${ocaml:Depends}, ${misc:Depends}, ${shlibs:Depends}
+Provides: ${ocaml:Provides}
+Recommends: ocaml-findlib
+Description: syntax for cross-language data types in OCaml
+ ATD stands for Adjustable Type Definitions. It is a type definition
+ language designed to accommodate a variety of programming languages and
+ data formats by the means of target-specific annotations. It supports
+ sum types, parametrized types and inheritance. The library provides a
+ parser and other tools useful for manipulating ATD type definitions.
+
+Package: libatd-ocaml
+Architecture: any
+Depends: ${ocaml:Depends}, ${misc:Depends}
+Provides: ${ocaml:Provides}
+Recommends: ocaml-findlib
+Description: syntax for cross-language data types in OCaml
+ ATD stands for Adjustable Type Definitions. It is a type definition
+ language designed to accommodate a variety of programming languages and
+ data formats by the means of target-specific annotations. It supports
+ sum types, parametrized types and inheritance. The library provides a
+ parser and other tools useful for manipulating ATD type definitions.
+ .
+ This package contains the shared runtime libraries.
diff --git a/debian/copyright b/debian/copyright
new file mode 100644
index 0000000..975ffa5
--- /dev/null
+++ b/debian/copyright
@@ -0,0 +1,35 @@
+Format-Specification: http://svn.debian.org/wsvn/dep/web/deps/dep5.mdwn?op=file&rev=135
+Name: ocaml-atd
+Maintainer: Sylvain Le Gall <gildor at debian.org>
+
+Files: *
+Copyright: Copyright (c) 2010 MyLife
+License: BSD3
+
+ Redistribution and use in source and binary forms, with or without
+ modification, are permitted provided that the following conditions
+ are met:
+ 1. Redistributions of source code must retain the above copyright
+    notice, this list of conditions and the following disclaimer.
+ 2. Redistributions in binary form must reproduce the above copyright
+    notice, this list of conditions and the following disclaimer in the
+    documentation and/or other materials provided with the distribution.
+ 3. The name of the author may not be used to endorse or promote products
+    derived from this software without specific prior written permission.
+ 
+ THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
+ IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
+ OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
+ IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
+ INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
+ NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+ DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+ THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+ (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
+ THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+
+Files: debian/*
+Copyright: (C) 2010 Sylvain Le Gall <gildor at debian.org>
+License: GPL-3+
+
+ See '/usr/share/common-licenses/GPL-3' for the full text.
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/libatd-ocaml-dev.docs b/debian/libatd-ocaml-dev.docs
new file mode 100644
index 0000000..f4a72aa
--- /dev/null
+++ b/debian/libatd-ocaml-dev.docs
@@ -0,0 +1,3 @@
+odoc
+manual/atd-manual.html
+README
diff --git a/debian/libatd-ocaml-dev.install.in b/debian/libatd-ocaml-dev.install.in
new file mode 100644
index 0000000..a5b4a17
--- /dev/null
+++ b/debian/libatd-ocaml-dev.install.in
@@ -0,0 +1,8 @@
+ at OCamlStdlibDir@/atd/*.cmo
+ at OCamlStdlibDir@/atd/*.cmi
+ at OCamlStdlibDir@/atd/*.mli
+OPT: @OCamlStdlibDir@/atd/*.o
+OPT: @OCamlStdlibDir@/atd/*.cmxa
+OPT: @OCamlStdlibDir@/atd/*.a
+OPT: @OCamlStdlibDir@/atd/*.cmx
+/usr/bin/atdcat
diff --git a/debian/libatd-ocaml-dev.manpages b/debian/libatd-ocaml-dev.manpages
new file mode 100644
index 0000000..7f20416
--- /dev/null
+++ b/debian/libatd-ocaml-dev.manpages
@@ -0,0 +1 @@
+debian/atdcat.1
diff --git a/debian/libatd-ocaml-dev.ocamldoc b/debian/libatd-ocaml-dev.ocamldoc
new file mode 100644
index 0000000..783bd53
--- /dev/null
+++ b/debian/libatd-ocaml-dev.ocamldoc
@@ -0,0 +1,2 @@
+-d odoc
+--doc-base-generate
diff --git a/debian/libatd-ocaml.install.in b/debian/libatd-ocaml.install.in
new file mode 100644
index 0000000..33132fb
--- /dev/null
+++ b/debian/libatd-ocaml.install.in
@@ -0,0 +1,2 @@
+ at OCamlStdlibDir@/atd/META
+ at OCamlStdlibDir@/atd/atd.cma
diff --git a/debian/patches/debian-changes-0.9.2-1 b/debian/patches/debian-changes-0.9.2-1
new file mode 100644
index 0000000..5d10f7f
--- /dev/null
+++ b/debian/patches/debian-changes-0.9.2-1
@@ -0,0 +1,42 @@
+Description: Upstream changes introduced in version 0.9.2-1
+ This patch has been created by dpkg-source during the package build.
+ Here's the last changelog entry, hopefully it gives details on why
+ those changes were made:
+ .
+ ocaml-atd (0.9.2-1) unstable; urgency=low
+ .
+   * Initial release. (Closes: #605670)
+ .
+ The person named in the Author field signed this changelog entry.
+Author: Sylvain Le Gall <gildor at debian.org>
+Bug-Debian: http://bugs.debian.org/605670
+
+---
+The information above should follow the Patch Tagging Guidelines, please
+checkout http://dep.debian.net/deps/dep3/ to learn about the format. Here
+are templates for supplementary fields that you might want to add:
+
+Origin: <vendor|upstream|other>, <url of original patch>
+Bug: <url in upstream bugtracker>
+Bug-Debian: http://bugs.debian.org/<bugnumber>
+Bug-Ubuntu: https://launchpad.net/bugs/<bugnumber>
+Forwarded: <no|not-needed|url proving that it has been forwarded>
+Reviewed-By: <name and email of someone who approved the patch>
+Last-Update: <YYYY-MM-DD>
+
+--- ocaml-atd-0.9.2.orig/Makefile
++++ ocaml-atd-0.9.2/Makefile
+@@ -144,6 +144,13 @@ clean:
+ 	rm -f $(patsubst %.mly,%.ml, $(MLY))
+ 	rm -f $(patsubst %.mll,%.ml, $(MLL))
+ 	rm -f atdcat.cm[ioxa] atdcat.o atdcat.cma atdcat.cmxa
++	-$(RM) META
++	-$(RM) atd.a atd.cma atd.cmxa atd_version.ml atdcat 
++	-$(RM) test.out test.out.out test2.out
++	-$(RM) *.annot
++
++.PHONY: distclean
++distclean: clean
+ 	rm -rf odoc
+ 	cd manual; $(MAKE) clean
+ 
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 0000000..fef5874
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+debian-changes-0.9.2-1
diff --git a/debian/rules b/debian/rules
new file mode 100755
index 0000000..bbed073
--- /dev/null
+++ b/debian/rules
@@ -0,0 +1,42 @@
+#!/usr/bin/make -f
+# -*- makefile -*-
+
+# Uncomment this to turn on verbose mode.
+#export DH_VERBOSE=1
+
+DESTDIR=$(CURDIR)/debian/tmp
+
+include /usr/share/ocaml/ocamlvars.mk
+
+OCAMLFIND_DESTDIR=$(DESTDIR)/$(OCAML_STDLIB_DIR)
+export OCAMLFIND_DESTDIR
+OCAMLFIND_LDCONF=ignore
+export OCAMLFIND_LDCONF
+
+%:
+	dh --with ocaml $@
+
+.PHONY: override_dh_auto_build
+override_dh_auto_build:
+ifeq ($(OCAML_HAVE_OCAMLOPT),yes)
+	$(MAKE)
+else
+	$(MAKE) all
+endif 
+
+.PHONY: override_dh_auto_install
+override_dh_auto_install:
+	mkdir -p '$(DESTDIR)/usr/bin'
+	mkdir -p '$(OCAMLFIND_DESTDIR)'
+	make install 'BINDIR=$(DESTDIR)/usr/bin' 
+
+.PHONY: override_dh_install
+override_dh_install:
+	dh_install --fail-missing
+
+.PHONY: override_dh_auto_clean
+override_dh_auto_clean:
+	$(MAKE) clean
+
+debian/atdcat.1: debian/atdcat.mkd
+	pandoc -s -w man $^ -o $@
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/watch b/debian/watch
new file mode 100644
index 0000000..5f6e25f
--- /dev/null
+++ b/debian/watch
@@ -0,0 +1,2 @@
+version=3
+http://oss.wink.com/atd/ atd-([\d\.]*)\.tar\.gz

-- 
ocaml-atd packaging



More information about the Pkg-ocaml-maint-commits mailing list