[Pkg-ocaml-maint-commits] r1530 - in trunk/packages/demexp/trunk: . debian debian/patches

Thomas Petazzoni tpetazzo-guest at costa.debian.org
Fri Jul 29 21:59:02 UTC 2005 

Author: tpetazzo-guest
Date: 2005-07-29 21:59:01 +0000 (Fri, 29 Jul 2005)
New Revision: 1530

Added:
   trunk/packages/demexp/trunk/debian/demexp0.4-client-gtk2.1
   trunk/packages/demexp/trunk/debian/demexp0.4-client-gtk2.dirs
   trunk/packages/demexp/trunk/debian/demexp0.4-client-gtk2.docs
   trunk/packages/demexp/trunk/debian/demexp0.4-client-gtk2.install
   trunk/packages/demexp/trunk/debian/demexp0.4-client-gtk2.menu
   trunk/packages/demexp/trunk/debian/demexp0.4-server.1
   trunk/packages/demexp/trunk/debian/demexp0.4-server.dirs
   trunk/packages/demexp/trunk/debian/demexp0.4-server.docs
   trunk/packages/demexp/trunk/debian/demexp0.4-server.install
   trunk/packages/demexp/trunk/debian/demexp0.4-server.manpages
Removed:
   trunk/packages/demexp/trunk/debian/demexp-client-gtk2.1
   trunk/packages/demexp/trunk/debian/demexp-client-gtk2.dirs
   trunk/packages/demexp/trunk/debian/demexp-client-gtk2.docs
   trunk/packages/demexp/trunk/debian/demexp-client-gtk2.install
   trunk/packages/demexp/trunk/debian/demexp-client-gtk2.manpages
   trunk/packages/demexp/trunk/debian/demexp-client-gtk2.menu
   trunk/packages/demexp/trunk/debian/demexp-server.1
   trunk/packages/demexp/trunk/debian/demexp-server.dirs
   trunk/packages/demexp/trunk/debian/demexp-server.docs
   trunk/packages/demexp/trunk/debian/demexp-server.install
   trunk/packages/demexp/trunk/debian/demexp-server.manpages
   trunk/packages/demexp/trunk/demexp_0.4.orig.tar.gz
Modified:
   trunk/packages/demexp/trunk/debian/changelog
   trunk/packages/demexp/trunk/debian/control
   trunk/packages/demexp/trunk/debian/patches/makefile.dpatch
   trunk/packages/demexp/trunk/debian/rules
Log:
Rename demexp to demexp0.4

Modified: trunk/packages/demexp/trunk/debian/changelog
===================================================================
--- trunk/packages/demexp/trunk/debian/changelog	2005-07-29 21:57:05 UTC (rev 1529)
+++ trunk/packages/demexp/trunk/debian/changelog	2005-07-29 21:59:01 UTC (rev 1530)
@@ -1,23 +1,36 @@
-demexp (0.4-5) unstable; urgency=low
+demexp0.4 (0.4-7) unstable; urgency=low
 
+  * Minor changes in order to be compatible with the new 0.3.91 version of
+    CDuce.
+
+ -- Thomas Petazzoni <thomas.petazzoni at enix.org>  Fri, 29 Jul 2005 22:22:38 +0200
+
+demexp0.4 (0.4-6) unstable; urgency=low
+
+  * Update to latest official 0.4 release of DemExp
+
+ -- Thomas Petazzoni <thomas.petazzoni at enix.org>  Thu, 14 Jul 2005 15:49:50 +0200
+
+demexp0.4 (0.4-5) unstable; urgency=low
+
   * Bump Demexp version to 0.4 in the client and in the server
   * Remove testing-backport dpatch
 
  -- Thomas Petazzoni <thomas.petazzoni at enix.org>  Fri, 29 Apr 2005 20:07:34 +0200
 
-demexp (0.4-4) unstable; urgency=low
+demexp0.4 (0.4-4) unstable; urgency=low
 
   * New icon version for DemExp client.
 
  -- Thomas Petazzoni <thomas.petazzoni at enix.org>  Tue, 19 Apr 2005 20:26:49 +0200
 
-demexp (0.4-3) unstable; urgency=low
+demexp0.4 (0.4-3) unstable; urgency=low
 
   * Added icon and menu for DemExp client
 
  -- Thomas Petazzoni <thomas.petazzoni at enix.org>  Fri, 15 Apr 2005 23:31:56 +0200
 
-demexp (0.4-2) unstable; urgency=low
+demexp0.4 (0.4-2) unstable; urgency=low
 
   * Migration to CDuce 0.3.2. A dpatch new-cduce-version has been written
     and sent upstream.
@@ -30,27 +43,27 @@
 
  -- Thomas Petazzoni <thomas.petazzoni at enix.org>  Sun, 10 Apr 2005 16:12:16 +0200
 
-demexp (0.4-1) unstable; urgency=low
+demexp0.4 (0.4-1) unstable; urgency=low
 
   * New upstream release 0.4
 
  -- Thomas Petazzoni <thomas.petazzoni at enix.org>  Sun, 20 Mar 2005 23:15:28 +0100
 
-demexp (0.3-3) unstable; urgency=low
+demexp0.4 (0.3-3) unstable; urgency=low
 
   * New upstream version (20050305), that uses CDuce
   * Using dpatch
 
  -- Thomas Petazzoni <thomas.petazzoni at enix.org>  Sat,  5 Mar 2005 02:59:26 +0100
 
-demexp (0.3-2) unstable; urgency=low
+demexp0.4 (0.3-2) unstable; urgency=low
 
   * Fix upstream author warning
   * Make a reference to common-licences
 
  -- Thomas Petazzoni <thomas.petazzoni at enix.org>  Sun, 6 Feb 2005 19:27:11 +0100
 
-demexp (0.3-1) unstable; urgency=low
+demexp0.4 (0.3-1) unstable; urgency=low
 
   * Initial Release.
 

Modified: trunk/packages/demexp/trunk/debian/control
===================================================================
--- trunk/packages/demexp/trunk/debian/control	2005-07-29 21:57:05 UTC (rev 1529)
+++ trunk/packages/demexp/trunk/debian/control	2005-07-29 21:59:01 UTC (rev 1530)
@@ -1,18 +1,18 @@
-Source: demexp
+Source: demexp0.4
 Section: net
 Priority: optional
 Maintainer: Thomas Petazzoni <thomas.petazzoni at enix.org>
 Build-Depends: debhelper (>= 4.0.0), ocaml-nox-3.08.3, liblablgtk2-ocaml-dev, nowebm, latex, tetex-extra, ocaml-findlib, libpxp-ocaml-dev, libequeue-ocaml-dev, librpc-ocaml-dev, libnetclient-ocaml-dev, ocaml-ulex, ocaml-native-compilers, dpatch (>= 1.19), cduce (>= 0.3)
 Standards-Version: 3.6.1
 
-Package: demexp-client-gtk2
+Package: demexp0.4-client-gtk2
 Architecture: any
 Depends: ${shlibs:Depends}
 Description: GTK2 client for the DemExp project
  GTK2 client for the Democratic Experience Project.
  See <http://www.demexp.org>
 
-Package: demexp-server
+Package: demexp0.4-server
 Architecture: any
 Depends: ${shlibs:Depends}
 Description: Server for the DemExp project

Deleted: trunk/packages/demexp/trunk/debian/demexp-client-gtk2.1
===================================================================
--- trunk/packages/demexp/trunk/debian/demexp-client-gtk2.1	2005-07-29 21:57:05 UTC (rev 1529)
+++ trunk/packages/demexp/trunk/debian/demexp-client-gtk2.1	2005-07-29 21:59:01 UTC (rev 1530)
@@ -1,32 +0,0 @@
-.TH demexp-client-gtk2 1 "2005"
-.SH NAME
-demexp-client-gtk2 \- Client for the vote system of the Democratic Experience
-.SH SYNOPSIS
-.B demexp-client-gtk2
-[\fIOPTIONS\fR]
-.SH DESCRIPTION
-.B demexp-client-gtk2
-is the client side of the vote system created by the Democratic
-Experience project. The Democratic Experience is a large scale project
-of direct democracy. It aims at providing the tools to facilitate the
-expression of all citizens, to transform this expression into
-decisions, and to apply this decision.
-.TP
-\fB\-dall-dialogs\fR
-Open all dialogs. For debugging purposes.
-.TP
-\fB\-l\fR, \fB\--log\fR
-Enables logging on stdout
-.TP
-\fB\--autotests\fR
-Perform auto-tests.
-.TP
-\fB\--preference-file FILE\fR
-Use given FILE as preference file
-.TP
-\fB\-help\fR, \fB\--help\fR
-Display the list of options
-.SH AUTHOR
-This manual page was written by Thomas Petazzoni
-<thomas.petazzoni at enix.org> for the Debian GNU/Linux system (but may
-be used by others).

Deleted: trunk/packages/demexp/trunk/debian/demexp-client-gtk2.dirs
===================================================================
--- trunk/packages/demexp/trunk/debian/demexp-client-gtk2.dirs	2005-07-29 21:57:05 UTC (rev 1529)
+++ trunk/packages/demexp/trunk/debian/demexp-client-gtk2.dirs	2005-07-29 21:59:01 UTC (rev 1530)
@@ -1,2 +0,0 @@
-usr/bin
-usr/share/pixmaps

Deleted: trunk/packages/demexp/trunk/debian/demexp-client-gtk2.docs
===================================================================
--- trunk/packages/demexp/trunk/debian/demexp-client-gtk2.docs	2005-07-29 21:57:05 UTC (rev 1529)
+++ trunk/packages/demexp/trunk/debian/demexp-client-gtk2.docs	2005-07-29 21:59:01 UTC (rev 1530)
@@ -1 +0,0 @@
-lablgtk2-clnt/demexp-client-gtk2-book.pdf

Deleted: trunk/packages/demexp/trunk/debian/demexp-client-gtk2.install
===================================================================
--- trunk/packages/demexp/trunk/debian/demexp-client-gtk2.install	2005-07-29 21:57:05 UTC (rev 1529)
+++ trunk/packages/demexp/trunk/debian/demexp-client-gtk2.install	2005-07-29 21:59:01 UTC (rev 1530)
@@ -1 +0,0 @@
-lablgtk2-clnt/demexp-client-gtk2	usr/bin/

Deleted: trunk/packages/demexp/trunk/debian/demexp-client-gtk2.manpages
===================================================================
--- trunk/packages/demexp/trunk/debian/demexp-client-gtk2.manpages	2005-07-29 21:57:05 UTC (rev 1529)
+++ trunk/packages/demexp/trunk/debian/demexp-client-gtk2.manpages	2005-07-29 21:59:01 UTC (rev 1530)
@@ -1 +0,0 @@
-debian/demexp-client-gtk2.1

Deleted: trunk/packages/demexp/trunk/debian/demexp-client-gtk2.menu
===================================================================
--- trunk/packages/demexp/trunk/debian/demexp-client-gtk2.menu	2005-07-29 21:57:05 UTC (rev 1529)
+++ trunk/packages/demexp/trunk/debian/demexp-client-gtk2.menu	2005-07-29 21:59:01 UTC (rev 1530)
@@ -1,4 +0,0 @@
-?package(demexp-client-gtk2):command="/usr/bin/demexp-client-gtk2" \
-  icon="/usr/share/pixmaps/demexp.xpm" \
-  needs="X11" \
-  section="Apps/Net" title="DemExp Client"

Deleted: trunk/packages/demexp/trunk/debian/demexp-server.1
===================================================================
--- trunk/packages/demexp/trunk/debian/demexp-server.1	2005-07-29 21:57:05 UTC (rev 1529)
+++ trunk/packages/demexp/trunk/debian/demexp-server.1	2005-07-29 21:59:01 UTC (rev 1530)
@@ -1,38 +0,0 @@
-.TH demexp-server 1 "2005"
-.SH NAME
-demexp-server \- Server for the vote system of the Democratic Experience
-.SH SYNOPSIS
-.B demexp-server
-[\fIOPTIONS\fR]
-.SH DESCRIPTION
-.B demexp-server
-is the server side of the vote system created by the Democratic
-Experience project. The Democratic Experience is a large scale project
-of direct democracy. It aims at providing the tools to facilitate the
-expression of all citizens, to transform this expression into
-decisions, and to apply this decision.
-.TP
-\fB\-d\fR, \fB\--debug\fR
-Enables debugging information
-.TP
-\fB\-l\fR, \fB\--log\fR
-Enables logging of server activity on stdout
-.TP
-\fB\--autotests\fR
-Starts the server in autotest mode
-.TP
-\fB\--address\fR
-Set the address on which the server will listen to
-.TP
-\fB\--port\fR
-Set the port on which the server will listen to
-.TP
-\fB\--bases\fR
-Set filename to use for bases, without suffix (default "bases")
-.TP
-\fB\-help\fR, \fB\--help\fR
-Display the list of options
-.SH AUTHOR
-This manual page was written by Thomas Petazzoni
-<thomas.petazzoni at enix.org> for the Debian GNU/Linux system (but may
-be used by others).

Deleted: trunk/packages/demexp/trunk/debian/demexp-server.dirs
===================================================================
--- trunk/packages/demexp/trunk/debian/demexp-server.dirs	2005-07-29 21:57:05 UTC (rev 1529)
+++ trunk/packages/demexp/trunk/debian/demexp-server.dirs	2005-07-29 21:59:01 UTC (rev 1530)
@@ -1 +0,0 @@
-usr/bin

Deleted: trunk/packages/demexp/trunk/debian/demexp-server.docs
===================================================================
--- trunk/packages/demexp/trunk/debian/demexp-server.docs	2005-07-29 21:57:05 UTC (rev 1529)
+++ trunk/packages/demexp/trunk/debian/demexp-server.docs	2005-07-29 21:59:01 UTC (rev 1530)
@@ -1 +0,0 @@
-srv/demexp-server-book.pdf

Deleted: trunk/packages/demexp/trunk/debian/demexp-server.install
===================================================================
--- trunk/packages/demexp/trunk/debian/demexp-server.install	2005-07-29 21:57:05 UTC (rev 1529)
+++ trunk/packages/demexp/trunk/debian/demexp-server.install	2005-07-29 21:59:01 UTC (rev 1530)
@@ -1 +0,0 @@
-srv/demexp-server	usr/bin/

Deleted: trunk/packages/demexp/trunk/debian/demexp-server.manpages
===================================================================
--- trunk/packages/demexp/trunk/debian/demexp-server.manpages	2005-07-29 21:57:05 UTC (rev 1529)
+++ trunk/packages/demexp/trunk/debian/demexp-server.manpages	2005-07-29 21:59:01 UTC (rev 1530)
@@ -1 +0,0 @@
-debian/demexp-server.1

Added: trunk/packages/demexp/trunk/debian/demexp0.4-client-gtk2.1
===================================================================
--- trunk/packages/demexp/trunk/debian/demexp0.4-client-gtk2.1	2005-07-29 21:57:05 UTC (rev 1529)
+++ trunk/packages/demexp/trunk/debian/demexp0.4-client-gtk2.1	2005-07-29 21:59:01 UTC (rev 1530)
@@ -0,0 +1,32 @@
+.TH demexp0.4-client-gtk2 1 "2005"
+.SH NAME
+demexp0.4-client-gtk2 \- Client for the vote system of the Democratic Experience
+.SH SYNOPSIS
+.B demexp0.4-client-gtk2
+[\fIOPTIONS\fR]
+.SH DESCRIPTION
+.B demexp0.4-client-gtk2
+is the client side of the vote system created by the Democratic
+Experience project. The Democratic Experience is a large scale project
+of direct democracy. It aims at providing the tools to facilitate the
+expression of all citizens, to transform this expression into
+decisions, and to apply this decision.
+.TP
+\fB\-dall-dialogs\fR
+Open all dialogs. For debugging purposes.
+.TP
+\fB\-l\fR, \fB\--log\fR
+Enables logging on stdout
+.TP
+\fB\--autotests\fR
+Perform auto-tests.
+.TP
+\fB\--preference-file FILE\fR
+Use given FILE as preference file
+.TP
+\fB\-help\fR, \fB\--help\fR
+Display the list of options
+.SH AUTHOR
+This manual page was written by Thomas Petazzoni
+<thomas.petazzoni at enix.org> for the Debian GNU/Linux system (but may
+be used by others).

Added: trunk/packages/demexp/trunk/debian/demexp0.4-client-gtk2.dirs
===================================================================
--- trunk/packages/demexp/trunk/debian/demexp0.4-client-gtk2.dirs	2005-07-29 21:57:05 UTC (rev 1529)
+++ trunk/packages/demexp/trunk/debian/demexp0.4-client-gtk2.dirs	2005-07-29 21:59:01 UTC (rev 1530)
@@ -0,0 +1,2 @@
+usr/bin
+usr/share/pixmaps

Added: trunk/packages/demexp/trunk/debian/demexp0.4-client-gtk2.docs
===================================================================
--- trunk/packages/demexp/trunk/debian/demexp0.4-client-gtk2.docs	2005-07-29 21:57:05 UTC (rev 1529)
+++ trunk/packages/demexp/trunk/debian/demexp0.4-client-gtk2.docs	2005-07-29 21:59:01 UTC (rev 1530)
@@ -0,0 +1 @@
+lablgtk2-clnt/demexp0.4-client-gtk2-book.pdf

Added: trunk/packages/demexp/trunk/debian/demexp0.4-client-gtk2.install
===================================================================
--- trunk/packages/demexp/trunk/debian/demexp0.4-client-gtk2.install	2005-07-29 21:57:05 UTC (rev 1529)
+++ trunk/packages/demexp/trunk/debian/demexp0.4-client-gtk2.install	2005-07-29 21:59:01 UTC (rev 1530)
@@ -0,0 +1 @@
+lablgtk2-clnt/demexp0.4-client-gtk2	usr/bin/

Added: trunk/packages/demexp/trunk/debian/demexp0.4-client-gtk2.menu
===================================================================
--- trunk/packages/demexp/trunk/debian/demexp0.4-client-gtk2.menu	2005-07-29 21:57:05 UTC (rev 1529)
+++ trunk/packages/demexp/trunk/debian/demexp0.4-client-gtk2.menu	2005-07-29 21:59:01 UTC (rev 1530)
@@ -0,0 +1,4 @@
+?package(demexp0.4-client-gtk2):command="/usr/bin/demexp0.4-client-gtk2" \
+  icon="/usr/share/pixmaps/demexp0.4.xpm" \
+  needs="X11" \
+  section="Apps/Net" title="DemExp Client 0.4"

Added: trunk/packages/demexp/trunk/debian/demexp0.4-server.1
===================================================================
--- trunk/packages/demexp/trunk/debian/demexp0.4-server.1	2005-07-29 21:57:05 UTC (rev 1529)
+++ trunk/packages/demexp/trunk/debian/demexp0.4-server.1	2005-07-29 21:59:01 UTC (rev 1530)
@@ -0,0 +1,38 @@
+.TH demexp0.4-server 1 "2005"
+.SH NAME
+demexp0.4-server \- Server for the vote system of the Democratic Experience
+.SH SYNOPSIS
+.B demexp0.4-server
+[\fIOPTIONS\fR]
+.SH DESCRIPTION
+.B demexp0.4-server
+is the server side of the vote system created by the Democratic
+Experience project. The Democratic Experience is a large scale project
+of direct democracy. It aims at providing the tools to facilitate the
+expression of all citizens, to transform this expression into
+decisions, and to apply this decision.
+.TP
+\fB\-d\fR, \fB\--debug\fR
+Enables debugging information
+.TP
+\fB\-l\fR, \fB\--log\fR
+Enables logging of server activity on stdout
+.TP
+\fB\--autotests\fR
+Starts the server in autotest mode
+.TP
+\fB\--address\fR
+Set the address on which the server will listen to
+.TP
+\fB\--port\fR
+Set the port on which the server will listen to
+.TP
+\fB\--bases\fR
+Set filename to use for bases, without suffix (default "bases")
+.TP
+\fB\-help\fR, \fB\--help\fR
+Display the list of options
+.SH AUTHOR
+This manual page was written by Thomas Petazzoni
+<thomas.petazzoni at enix.org> for the Debian GNU/Linux system (but may
+be used by others).

Added: trunk/packages/demexp/trunk/debian/demexp0.4-server.dirs
===================================================================
--- trunk/packages/demexp/trunk/debian/demexp0.4-server.dirs	2005-07-29 21:57:05 UTC (rev 1529)
+++ trunk/packages/demexp/trunk/debian/demexp0.4-server.dirs	2005-07-29 21:59:01 UTC (rev 1530)
@@ -0,0 +1 @@
+usr/bin

Added: trunk/packages/demexp/trunk/debian/demexp0.4-server.docs
===================================================================
--- trunk/packages/demexp/trunk/debian/demexp0.4-server.docs	2005-07-29 21:57:05 UTC (rev 1529)
+++ trunk/packages/demexp/trunk/debian/demexp0.4-server.docs	2005-07-29 21:59:01 UTC (rev 1530)
@@ -0,0 +1 @@
+srv/demexp0.4-server-book.pdf

Added: trunk/packages/demexp/trunk/debian/demexp0.4-server.install
===================================================================
--- trunk/packages/demexp/trunk/debian/demexp0.4-server.install	2005-07-29 21:57:05 UTC (rev 1529)
+++ trunk/packages/demexp/trunk/debian/demexp0.4-server.install	2005-07-29 21:59:01 UTC (rev 1530)
@@ -0,0 +1 @@
+srv/demexp0.4-server	usr/bin/

Added: trunk/packages/demexp/trunk/debian/demexp0.4-server.manpages
===================================================================
--- trunk/packages/demexp/trunk/debian/demexp0.4-server.manpages	2005-07-29 21:57:05 UTC (rev 1529)
+++ trunk/packages/demexp/trunk/debian/demexp0.4-server.manpages	2005-07-29 21:59:01 UTC (rev 1530)
@@ -0,0 +1 @@
+debian/demexp0.4-server.1

Modified: trunk/packages/demexp/trunk/debian/patches/makefile.dpatch
===================================================================
--- trunk/packages/demexp/trunk/debian/patches/makefile.dpatch	2005-07-29 21:57:05 UTC (rev 1529)
+++ trunk/packages/demexp/trunk/debian/patches/makefile.dpatch	2005-07-29 21:59:01 UTC (rev 1530)
@@ -5,9 +5,9 @@
 ## DP: No description.
 
 @DPATCH@
-diff -urNad demexp-0.4/Makefile /tmp/dpep.CU4bNK/demexp-0.4/Makefile
---- demexp-0.4/Makefile	2005-03-15 18:50:27.000000000 +0100
-+++ /tmp/dpep.CU4bNK/demexp-0.4/Makefile	2005-04-10 16:00:39.468121337 +0200
+diff -urNad demexp0.4-0.4/Makefile /tmp/dpep.yGwWj7/demexp0.4-0.4/Makefile
+--- demexp0.4-0.4/Makefile	2005-03-15 18:50:27.000000000 +0100
++++ /tmp/dpep.yGwWj7/demexp0.4-0.4/Makefile	2005-07-29 22:36:27.000000000 +0200
 @@ -7,6 +7,8 @@
  .PHONY: all
  all: bin bin.bc static test test.bc xml doc pdf
@@ -106,12 +106,19 @@
  
  LABLGLADECC:=lablgladecc2
  
-@@ -419,7 +385,7 @@
- 	$(OCAMLC) -c $(SRV_OCAMLINC) -pp "cdo2ml -static" -impl $<
+@@ -416,10 +382,13 @@
+ 	$(CDUCE) $(SRV_OCAMLINC) --compile $<
  
+ %.cmo: %.cdo
+-	$(OCAMLC) -c $(SRV_OCAMLINC) -pp "cdo2ml -static" -impl $<
++	cd $(<D) ; $(OCAMLC) -c -package "cduce" -linkpkg -pp "$(CDUCE) --mlstub" \
++		-impl $(<F)
++
+ 
  %.cmx: %.cdo
 -	$(OCAMLOPT) -c $(SRV_OCAMLINC) -pp "cdo2ml -static" -impl $<
-+	$(OCAMLOPT) -c $(SRV_OCAMLOPTFLAGS) $(SRV_OCAMLINC) -pp "cdo2ml -static" -impl $<
++	cd $(<D) ; $(OCAMLOPT) -c -package "cduce" -linkpkg -pp "$(CDUCE) --mlstub" \
++		-impl $(<F)
  
  ### O'Caml sources dependencies
  

Modified: trunk/packages/demexp/trunk/debian/rules
===================================================================
--- trunk/packages/demexp/trunk/debian/rules	2005-07-29 21:57:05 UTC (rev 1529)
+++ trunk/packages/demexp/trunk/debian/rules	2005-07-29 21:59:01 UTC (rev 1530)
@@ -10,7 +10,7 @@
 #export DH_VERBOSE=1
 
 include /usr/share/dpatch/dpatch.make
-PACKAGE = demexp
+PACKAGE = demexp0.4
 
 configure: configure-stamp
 configure-stamp:
@@ -37,8 +37,10 @@
 	rm -f build-stamp configure-stamp
 
 	# Add here commands to clean up after the build process.
-	@rm -f lablgtk2-clnt/demexp-client-gtk2
-	@rm -f lablgtk2-clnt/demexp-client-gtk2-book.pdf
+	@rm -f lablgtk2-clnt/demexp0.4-client-gtk2
+	@rm -f lablgtk2-clnt/demexp0.4-client-gtk2-book.pdf
+	@rm -f srv/demexp0.4-server
+	@rm -f srv/demexp0.4-server-book.pdf
 	-$(MAKE) clean
 
 	dh_clean 
@@ -48,9 +50,11 @@
 	dh_testroot
 	dh_clean -k 
 	dh_installdirs
-	mv lablgtk2-clnt/demexp-lablgtk2-client lablgtk2-clnt/demexp-client-gtk2
-	mv lablgtk2-clnt/demexp-lablgtk2-client-book.pdf lablgtk2-clnt/demexp-client-gtk2-book.pdf
-	cp debian/demexp.xpm debian/demexp-client-gtk2/usr/share/pixmaps/
+	mv srv/demexp-server srv/demexp0.4-server
+	mv srv/demexp-server-book.pdf srv/demexp0.4-server-book.pdf
+	mv lablgtk2-clnt/demexp-lablgtk2-client lablgtk2-clnt/demexp0.4-client-gtk2
+	mv lablgtk2-clnt/demexp-lablgtk2-client-book.pdf lablgtk2-clnt/demexp0.4-client-gtk2-book.pdf
+	cp debian/demexp.xpm debian/demexp0.4-client-gtk2/usr/share/pixmaps/demexp0.4.xpm
 	dh_install
 
 # Build architecture-independent files here.

Deleted: trunk/packages/demexp/trunk/demexp_0.4.orig.tar.gz
===================================================================
(Binary files differ)

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