Commit 2960ec6e authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2004-01-11 13:29:40 by szach] checked in latest debian (dpatched) directory

Original author: szach
Date: 2004-01-11 13:29:40+00:00
parent d5888825
Document: cduce
Title: CDuce documentation
Author: The CDuce Team (
Abstract: Local copy of the CDuce website including tutorial, users'manual and examples
Section: interpreters
Format: HTML
Index: /usr/share/doc/cduce/html/index.html
Files: /usr/share/doc/cduce/html/*.html
cduce usr/bin/
dtd2cduce usr/bin/
debian/tmp/usr/bin/* usr/bin/
debian/tmp/usr/share/* usr/share/
cduce (0.1.1-1) unstable; urgency=low
* New upstream release
- Various bug fixes (expat might now work)
- Sequencing operator e1;e2 (equivalent to: let [] = e1 in e2)
- Encoded references
-- Stefano Zacchiroli <> Sun, 14 Sep 2003 11:50:59 +0200
cduce (0.1.0-1) unstable; urgency=low
* Initial Release.
-- Stefano Zacchiroli <> Fri, 4 Jul 2003 15:17:41 +0200
Source: cduce
Section: interpreters
Priority: optional
Maintainer: Stefano Zacchiroli <>
Build-Depends: debhelper (>> 4.0.0), dpatch, ocaml-3.07, ocaml-findlib, libwlexing-ocaml-dev, libpcre-ocaml-dev, libocamlnet-ocaml-dev, libpxp-ocaml-dev, libexpat1-dev
Package: cduce
Architecture: any
Depends: ${shlibs:Depends} ${misc:Depends}
Description: programming language adapted to the manipulation of XML data
CDuce is a modern programming language adapted to the manipulation of XML
Some of CDuce peculiar features:
- XML objects can be manipulated as first-class citizen values: elements,
sequences, tags, characters and strings, attribute sets; sequences of XML
elements can be specified by regular expressions, which also apply to
characters strings;
- functions themselves are first-class values, they can be manipulated,
stored in data structure, returned by a function, ...;
- a powerful pattern matching operation can perform complex extractions from
sequences of XML elements;
- a rich type algebra, with recursive types and arbitrary boolean
combinations (union, intersection, complement) allows precise definitions
of data structures and XML types; general purpose types and types
constructors are taken seriously (products, extensible records, arbitrary
precision integers with interval constraints, Unicode characters);
- polymorphism through a natural notion of subtyping, and overloaded
functions with dynamic dispatch;
- an highly-effective type-driven compilation schema
CDuce is fast, functional, type-safe, and conforms to basic standards:
Unicode, XML, DTD, Namespaces are fully supported, partial support of XML
Schema validation is in alpha testing (and undocumented) while queries are
being implemented.
This package was debianized by Stefano Zacchiroli <> on
Fri, 4 Jul 2003 15:17:41 +0200.
It was downloaded from:
The main author of CDuce is:
Alain Frisch <>
with contributions of the CDuce Team (
CDuce @ ENS (Paris)
* Giuseppe Castagna <> (CNRS researcher)
* Alain Frisch <> (Ph.D. student)
* Stefano Zacchiroli <> (Graduate student)
* Josh de Letaillade <> (DEA student)
CDuce @ LRI (Orsay)
* Véronique Benzaken <> (Prof. Univ. Paris 11)
* Marwan Burelle <> (Ph.D student)
* Cédric Miachon <> (DEA student)
The CDuce interpreter is distributed under the terms of the Q Public License
version 1.0 (included below). The "Choice of Law" section been modified
from the original Q Public License (Copyright (C) 1999 Troll Tech AS, Norway).
Copyright (C) 1999 Troll Tech AS, Norway.
Everyone is permitted to copy and
distribute this license document.
The intent of this license is to establish freedom to share and change
the software regulated by this license under the open source model.
This license applies to any software containing a notice placed by the
copyright holder saying that it may be distributed under the terms of
the Q Public License version 1.0. Such software is herein referred to
as the Software. This license covers modification and distribution of
the Software, use of third-party application programs based on the
Software, and development of free software which uses the Software.
Granted Rights
1. You are granted the non-exclusive rights set forth in this license
provided you agree to and comply with any and all conditions in this
license. Whole or partial distribution of the Software, or software
items that link with the Software, in any form signifies acceptance of
this license.
2. You may copy and distribute the Software in unmodified form
provided that the entire package, including - but not restricted to -
copyright, trademark notices and disclaimers, as released by the
initial developer of the Software, is distributed.
3. You may make modifications to the Software and distribute your
modifications, in a form that is separate from the Software, such as
patches. The following restrictions apply to modifications:
a. Modifications must not alter or remove any copyright notices
in the Software.
b. When modifications to the Software are released under this
license, a non-exclusive royalty-free right is granted to the
initial developer of the Software to distribute your
modification in future versions of the Software provided such
versions remain available under these terms in addition to any
other license(s) of the initial developer.
4. You may distribute machine-executable forms of the Software or
machine-executable forms of modified versions of the Software,
provided that you meet these restrictions:
a. You must include this license document in the distribution.
b. You must ensure that all recipients of the machine-executable
forms are also able to receive the complete machine-readable
source code to the distributed Software, including all
modifications, without any charge beyond the costs of data
transfer, and place prominent notices in the distribution
explaining this.
c. You must ensure that all modifications included in the
machine-executable forms are available under the terms of this
5. You may use the original or modified versions of the Software to
compile, link and run application programs legally developed by you or
by others.
6. You may develop application programs, reusable components and other
software items that link with the original or modified versions of the
Software. These items, when distributed, are subject to the following
a. You must ensure that all recipients of machine-executable
forms of these items are also able to receive and use the
complete machine-readable source code to the items without any
charge beyond the costs of data transfer.
b. You must explicitly license all recipients of your items to
use and re-distribute original and modified versions of the
items in both machine-executable and source code forms. The
recipients must be able to do so without any charges whatsoever,
and they must be able to re-distribute to anyone they choose.
c. If the items are not available to the general public, and the
initial developer of the Software requests a copy of the items,
then you must supply one.
Limitations of Liability
In no event shall the initial developers or copyright holders be
liable for any damages whatsoever, including - but not restricted to -
lost revenue or profits or other direct, indirect, special, incidental
or consequential damages, even if they have been advised of the
possibility of such damages, except to the extent invariable law, if
any, provides otherwise.
No Warranty
The Software and this license document are provided AS IS with NO
Choice of Law
This license is governed by the Laws of France. Disputes shall be
settled by the Court of Paris.
#!/bin/sh -e
## 01_makefile_conf.dpatch by Stefano Zacchiroli <>
## All lines beginning with `## DP:' are a description of the patch.
## DP: installs HTML documentation and CGIs in debian specific dirs
if [ $# -ne 1 ]; then
echo >&2 "`basename $0`: script expects -patch|-unpatch as argument"
exit 1
[ -f debian/patches/00patch-opts ] && . debian/patches/00patch-opts
patch_opts="${patch_opts:--f --no-backup-if-mismatch}"
case "$1" in
-patch) patch $patch_opts -p1 < $0;;
-unpatch) patch $patch_opts -p1 -R < $0;;
echo >&2 "`basename $0`: script expects -patch|-unpatch as argument"
exit 1;;
exit 0
diff -urNad /home/zack/dati/cduce/CDUCE.main/Makefile.conf CDUCE.main/Makefile.conf
--- /home/zack/dati/cduce/CDUCE.main/Makefile.conf 2004-01-11 14:15:28.000000000 +0100
+++ CDUCE.main/Makefile.conf 2004-01-11 14:25:18.000000000 +0100
@@ -1,4 +1,5 @@
# build CDuce using OCaml native code compiler
+# DEBIAN: overridden in debian/rules
ifeq ($(NATIVE), false)
NATIVE = true
@@ -26,7 +27,7 @@
# Customize the following variables to match the settings
# of your local web server
-WEB_PREFIX = /var/www
-CGI_DIR = $(WEB_PREFIX)/cgi-bin
+WEB_PREFIX = debian/tmp/usr/share/doc/cduce
+CGI_DIR = debian/tmp/usr/lib/cgi-bin
SESSION_DIR = /tmp/cduce_sessions
#!/usr/bin/make -f
# Uncomment this to turn on verbose mode.
#export DH_VERBOSE=1
include /usr/share/dpatch/dpatch.make
# This has to be exported to make some magic below work.
MAKE_OPTS := $(shell if [ -x /usr/bin/ocamlopt ]; then echo "NATIVE=true"; else echo "NATIVE=false"; fi)
build: build-arch
build-arch: build-arch-stamp
build-arch-stamp: patch-stamp
$(MAKE) $(MAKE_OPTS) all
touch build-arch-stamp
clean: patch clean1 unpatch
rm -f build-arch-stamp
# Add here commands to clean up after the build process.
-$(MAKE) $(MAKE_OPTS) clean
install: install-arch
dh_clean -k -a
dh_installdirs -a
mkdir -p debian/tmp/usr/bin
mkdir -p debian/tmp/usr/lib/cgi-bin/cduce
mkdir -p debian/tmp/usr/share/doc/cduce/html
$(MAKE) $(MAKE_OPTS) install_web
dh_install -a
dh_installchangelogs CHANGES
dh_installman doc/cduce.1
binary-arch: build-arch install-arch
$(MAKE) -f debian/rules DH_OPTIONS=-a binary-common
binary: binary-arch
.PHONY: build clean binary-arch binary install install-arch
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