[Pkg-ocaml-maint-commits] [SCM] ssreflect packaging branch, master, updated. upstream/1.2-4-g3a89fc4

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 3a89fc449581ca809f815c60cbc7420b87253a79
Author: Stephane Glondu <steph at glondu.net>
Date:   Wed Aug 26 22:58:34 2009 +0200

    Add ssrcoq shellscript wrapper

diff --git a/debian/libssreflect-coq.README.Debian b/debian/libssreflect-coq.README.Debian
index 9fc873d..9f9b6cd 100644
--- a/debian/libssreflect-coq.README.Debian
+++ b/debian/libssreflect-coq.README.Debian
@@ -1,19 +1,24 @@
 Ssreflect for Debian
 ====================
 
-This package doesn't provide the ssrcoq binary (but relies on dynamic
-linking instead), nor the PDF documentation (which is available
-online, see README).
+This package doesn't provide the ssrcoq binary as built originally by
+upstream (but relies on dynamic linking instead), nor the PDF
+documentation (which is available online, see README).
 
-To use Ssreflect in your Coq developments, you have to add Ssreflect's
-path to your loading path, either by adding:
+You can directly use Ssreflect with the regular Coq tools. To do so,
+you have to add Ssreflect's path to the loading path, e.g. by
+adding:
 
-  -I /usr/lib/coq/user-contrib/ssr"
+  -I /usr/lib/coq/user-contrib/ssr
 
-to your command-line tools (it works with coqide too), or by calling:
+to command lines (it works with coqide too). A wrapper shell script
+around coqtop, ssrcoq, is provided, and should have the same behaviour
+as the coqmktop-generated ssrcoq as built originally by upstream.
+
+You can also use Ssreflect with regular tools by adding:
 
   Add LoadPath "/usr/lib/coq/user-contrib/ssr".
 
-directly from your .v file.
+to your .v files.
 
- -- Stephane Glondu <steph at glondu.net>, Wed, 26 Aug 2009 21:37:18 +0200
+ -- Stephane Glondu <steph at glondu.net>, Wed, 26 Aug 2009 23:31:33 +0200
diff --git a/debian/libssreflect-coq.install b/debian/libssreflect-coq.install
index 688f4d5..65cd0c4 100644
--- a/debian/libssreflect-coq.install
+++ b/debian/libssreflect-coq.install
@@ -1,2 +1,3 @@
-theories/*.vo usr/lib/coq/user-contrib/ssr
-html usr/share/doc/libssreflect-coq
+debian/ssrcoq     usr/bin
+theories/*.vo     usr/lib/coq/user-contrib/ssr
+html              usr/share/doc/libssreflect-coq
diff --git a/debian/libssreflect-coq.manpages b/debian/libssreflect-coq.manpages
new file mode 100644
index 0000000..d22e594
--- /dev/null
+++ b/debian/libssreflect-coq.manpages
@@ -0,0 +1 @@
+debian/ssrcoq.1
diff --git a/debian/rules b/debian/rules
index bc62f05..fd07db7 100755
--- a/debian/rules
+++ b/debian/rules
@@ -21,6 +21,7 @@ override_dh_auto_build:
 
 .PHONY: override_dh_auto_install
 override_dh_auto_install:
+	chmod +x debian/ssrcoq
 
 .PHONY: override_dh_clean
 override_dh_clean: ocamlinit-clean
diff --git a/debian/ssrcoq b/debian/ssrcoq
new file mode 100755
index 0000000..e4ebddb
--- /dev/null
+++ b/debian/ssrcoq
@@ -0,0 +1,2 @@
+#!/bin/sh
+exec coqtop -I /usr/lib/coq/user-contrib/ssr "$@"
diff --git a/debian/ssrcoq.1 b/debian/ssrcoq.1
new file mode 100644
index 0000000..1085969
--- /dev/null
+++ b/debian/ssrcoq.1
@@ -0,0 +1,27 @@
+.\"                                      Hey, EMACS: -*- nroff -*-
+.\" First parameter, NAME, should be all caps
+.\" Second parameter, SECTION, should be 1-8, maybe w/ subsection
+.\" other parameters are allowed: see man(7), man(1)
+.TH SSREFLECT 1 "August 2009"
+.\" Please adjust this date whenever revising the manpage.
+.SH NAME
+Ssreflect \- small scale reflection extension library for Coq
+.SH SYNOPSIS
+.B ssrcoq
+.RI [ options ]
+.SH DESCRIPTION
+.B ssrcoq
+is a small shellscript wrapper around coqtop that calls it with Ssreflect's include path.
+.PP
+.SH OPTIONS
+This program accepts the same options as coqtop.
+.SH SEE ALSO
+.BR coqtop (1),
+.BR /usr/share/doc/libssreflect-coq/README ,
+.BR /usr/share/doc/libssreflect-coq/README.Debian .
+.SH AUTHOR
+Ssreflect was written by members of the Mathematical Components project
+at the Microsoft Research - INRIA joint center.
+.PP
+This manual page was written by Stéphane Glondu <glondu at debian.org>,
+for the Debian project (and may be used by others).

-- 
ssreflect packaging