debian/patches/03-makefile_objdictgen.dpatch
author peter
Fri, 14 Mar 2008 10:55:34 +0100
changeset 417 ae068232859c
parent 346 59dbdcc99264
permissions -rwxr-xr-x
Forces an emission of PDO by resetting the COB of the last message
346
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     1
#! /bin/sh /usr/share/dpatch/dpatch-run
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     2
## 03-makefile_objdictgen.dpatch by  <lolitech@lolitech-desktop>
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     3
##
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     4
## All lines beginning with `## DP:' are a description of the patch.
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     5
## DP: No description.
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     6
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     7
@DPATCH@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     8
diff -urNad CanFestival-3~/objdictgen/Makefile.in CanFestival-3/objdictgen/Makefile.in
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     9
--- CanFestival-3~/objdictgen/Makefile.in	2007-09-30 22:36:59.000000000 +0200
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    10
+++ CanFestival-3/objdictgen/Makefile.in	2007-11-21 14:54:03.000000000 +0100
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    11
@@ -35,17 +35,17 @@
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    12
 	rm -rf gnosis_extract
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    13
 
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    14
 install: gnosis
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    15
-	mkdir -p $(PREFIX)/objdictgen
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    16
-	cp -r *.py* config doc doc_index examples gnosis $(PREFIX)/objdictgen
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    17
-	chmod -R a+r $(PREFIX)/objdictgen
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    18
+	mkdir -p $(PREFIX)/share/objdictgen
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    19
+	cp -r *.py* config doc doc_index examples gnosis $(PREFIX)/share/objdictgen
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    20
+	chmod -R a+r $(PREFIX)/share/objdictgen
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    21
 	mkdir -p $(PREFIX)/bin
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    22
-	ln -sf $(PREFIX)/objdictgen/objdictedit.py $(PREFIX)/bin/objdictedit
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    23
-	chmod 755 $(PREFIX)/objdictgen/objdictedit.py
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    24
-	ln -sf $(PREFIX)/objdictgen/objdictgen.py $(PREFIX)/bin/objdictgen
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    25
-	chmod 755 $(PREFIX)/objdictgen/objdictgen.py
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    26
+	ln -sf $(PREFIX)/share/objdictgen/objdictedit.py $(PREFIX)/bin/objdictedit
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    27
+	chmod 755 $(PREFIX)/share/objdictgen/objdictedit.py
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    28
+	ln -sf $(PREFIX)/share/objdictgen/objdictgen.py $(PREFIX)/bin/objdictgen
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    29
+	chmod 755 $(PREFIX)/share/objdictgen/objdictgen.py
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    30
 
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    31
 uninstall:
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    32
-	rm -rf $(PREFIX)/objdictgen
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    33
+	rm -rf $(PREFIX)/share/objdictgen
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    34
 	rm -f $(PREFIX)/bin/objdictedit
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    35
 	rm -f $(PREFIX)/bin/objdictgen
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    36