debian/rules
author laurent
Mon, 21 Sep 2009 12:00:52 +0200
changeset 397 6a7ff66a811d
parent 318 b24790c748ae
child 432 ef7fc6fd1f6f
permissions -rwxr-xr-x
Adding support for forcing tick count to return to zero as the same time than all tasks firing are synchronized
91
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
     1
#!/usr/bin/make -f
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
     2
# -*- makefile -*-
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
     3
# Sample debian/rules that uses debhelper.
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
     4
# This file was originally written by Joey Hess and Craig Small.
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
     5
# As a special exception, when this file is copied by dh-make into a
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
     6
# dh-make output file, you may use that output file without restriction.
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
     7
# This special exception was added by Craig Small in version 0.37 of dh-make.
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
     8
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
     9
# Uncomment this to turn on verbose mode.
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    10
#export DH_VERBOSE=1
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    11
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    12
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    13
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    14
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    15
CFLAGS = -Wall -g
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    16
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    17
ifneq (,$(findstring noopt,$(DEB_BUILD_OPTIONS)))
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    18
	CFLAGS += -O0
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    19
else
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    20
	CFLAGS += -O2
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    21
endif
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    22
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    23
configure: configure-stamp
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    24
configure-stamp:
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    25
	dh_testdir
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    26
	# Add here commands to configure the package.
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    27
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    28
	touch configure-stamp
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    29
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    30
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    31
build: build-stamp
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    32
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    33
build-stamp: configure-stamp 
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    34
	dh_testdir
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    35
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    36
	# Add here commands to compile the package.
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    37
	#$(MAKE)
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    38
	#docbook-to-man debian/beremiz.sgml > beremiz.1
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    39
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    40
	touch $@
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    41
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    42
clean:
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    43
	dh_testdir
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    44
	dh_testroot
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    45
	rm -f build-stamp configure-stamp
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    46
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    47
	# Add here commands to clean up after the build process.
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    48
	#-$(MAKE) clean
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    49
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    50
	dh_clean 
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    51
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    52
install: build
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    53
	dh_testdir
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    54
	dh_testroot
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    55
	dh_clean -k 
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    56
	dh_installdirs
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    57
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    58
	# Add here commands to install the package into debian/beremiz.
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    59
	mkdir -p $(CURDIR)/debian/beremiz/usr/share/beremiz
318
b24790c748ae updated : debian package scripts
greg
parents: 92
diff changeset
    60
	mkdir -p $(CURDIR)/debian/beremiz/usr/share/applications
b24790c748ae updated : debian package scripts
greg
parents: 92
diff changeset
    61
	
91
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    62
	cp -a images $(CURDIR)/debian/beremiz/usr/share/beremiz
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    63
	cp -a plugins $(CURDIR)/debian/beremiz/usr/share/beremiz
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    64
	cp -a runtime $(CURDIR)/debian/beremiz/usr/share/beremiz
318
b24790c748ae updated : debian package scripts
greg
parents: 92
diff changeset
    65
	cp -a tests $(CURDIR)/debian/beremiz/usr/share/beremiz
b24790c748ae updated : debian package scripts
greg
parents: 92
diff changeset
    66
	cp -a connectors $(CURDIR)/debian/beremiz/usr/share/beremiz
b24790c748ae updated : debian package scripts
greg
parents: 92
diff changeset
    67
	cp -a targets $(CURDIR)/debian/beremiz/usr/share/beremiz
b24790c748ae updated : debian package scripts
greg
parents: 92
diff changeset
    68
	cp *.xml $(CURDIR)/debian/beremiz/usr/share/beremiz
91
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    69
	cp *.py $(CURDIR)/debian/beremiz/usr/share/beremiz
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    70
318
b24790c748ae updated : debian package scripts
greg
parents: 92
diff changeset
    71
	cp debian/beremiz.desktop $(CURDIR)/debian/beremiz/usr/share/applications/beremiz.desktop
b24790c748ae updated : debian package scripts
greg
parents: 92
diff changeset
    72
b24790c748ae updated : debian package scripts
greg
parents: 92
diff changeset
    73
	rm -rf `find .|grep CVS`
b24790c748ae updated : debian package scripts
greg
parents: 92
diff changeset
    74
	rm -rf `find .|grep .cvsignore`
91
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    75
	chmod -R a+r $(CURDIR)/debian/beremiz
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    76
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    77
# Build architecture-independent files here.
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    78
binary-indep: build install
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    79
# We have nothing to do by default.
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    80
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    81
# Build architecture-dependent files here.
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    82
binary-arch: build install
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    83
	dh_testdir
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    84
	dh_testroot
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    85
	dh_installchangelogs 
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    86
	dh_installdocs
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    87
	dh_installexamples
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    88
#	dh_install
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    89
#	dh_installmenu
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    90
#	dh_installdebconf	
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    91
#	dh_installlogrotate
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    92
#	dh_installemacsen
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    93
#	dh_installpam
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    94
#	dh_installmime
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    95
#	dh_python
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    96
#	dh_installinit
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    97
#	dh_installcron
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    98
#	dh_installinfo
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    99
	dh_installman
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
   100
	dh_link
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
   101
	dh_strip
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
   102
	dh_compress
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
   103
	dh_fixperms
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
   104
#	dh_perl
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
   105
#	dh_makeshlibs
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
   106
	dh_installdeb
318
b24790c748ae updated : debian package scripts
greg
parents: 92
diff changeset
   107
#	dh_shlibdeps
91
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
   108
	dh_gencontrol
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
   109
	dh_md5sums
92
b4e25e5030d4 remove deb_dist in debian/rules
greg
parents: 91
diff changeset
   110
	dh_builddeb
91
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
   111
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
   112
binary: binary-indep binary-arch
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
   113
.PHONY: build clean binary-indep binary-arch binary install configure