debian/rules
author Mario de Sousa <msousa@fe.up.pt>
Wed, 07 Nov 2012 10:03:54 +0000
changeset 716 eb9aad0c3627
parent 213 f386d870e8e4
permissions -rwxr-xr-x
Do datatype checking of enum values defined inside anonymous enumeration types (i.e. enum types defined inside a VAR ... END_VAR daclaration).
106
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
     1
#!/usr/bin/make -f
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
     2
# -*- makefile -*-
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
     3
# Sample debian/rules that uses debhelper.
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
     4
# This file was originally written by Joey Hess and Craig Small.
0fff950e578e 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
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
     6
# dh-make output file, you may use that output file without restriction.
0fff950e578e 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.
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
     8
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
     9
# Uncomment this to turn on verbose mode.
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    10
export DH_VERBOSE=1
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    11
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    12
CFLAGS = -Wall -g
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    13
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    14
ifneq (,$(findstring noopt,$(DEB_BUILD_OPTIONS)))
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    15
	CFLAGS += -O0
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    16
else
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    17
	CFLAGS += -O2
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    18
endif
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    19
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    20
build: build-stamp
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    21
171
59f5197b088a updated : debian package scripts
greg
parents: 106
diff changeset
    22
build-stamp:
106
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    23
	dh_testdir
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    24
	# Add here commands to compile the package.
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    25
	$(MAKE)
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    26
	touch $@
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    27
171
59f5197b088a updated : debian package scripts
greg
parents: 106
diff changeset
    28
clean:
106
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    29
	dh_testdir
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    30
	dh_testroot
171
59f5197b088a updated : debian package scripts
greg
parents: 106
diff changeset
    31
	rm -f build-stamp
106
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    32
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    33
	# Add here commands to clean up after the build process.
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    34
	-$(MAKE) clean
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    35
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    36
	dh_clean 
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    37
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    38
install: build
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    39
	dh_testdir
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    40
	dh_testroot
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    41
	dh_clean -k 
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    42
	dh_installdirs
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    43
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    44
	# Add here commands to install the package into debian/matiec.
171
59f5197b088a updated : debian package scripts
greg
parents: 106
diff changeset
    45
	#$(MAKE) INSTALL_PREDIR=$(CURDIR)/debian/matiec/usr INSTALL_BINDIR=/bin IECLIBDIR=/lib install	
106
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    46
	
171
59f5197b088a updated : debian package scripts
greg
parents: 106
diff changeset
    47
	# Add here commands to install the package into debian/beremiz.
59f5197b088a updated : debian package scripts
greg
parents: 106
diff changeset
    48
	mkdir -p $(CURDIR)/debian/matiec/usr/share/matiec
59f5197b088a updated : debian package scripts
greg
parents: 106
diff changeset
    49
	
59f5197b088a updated : debian package scripts
greg
parents: 106
diff changeset
    50
	cp -a lib $(CURDIR)/debian/matiec/usr/share/matiec
59f5197b088a updated : debian package scripts
greg
parents: 106
diff changeset
    51
	cp iec2c $(CURDIR)/debian/matiec/usr/share/matiec
106
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    52
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    53
# Build architecture-independent files here.
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    54
binary-indep: build install
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    55
# We have nothing to do by default.
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    56
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    57
# Build architecture-dependent files here.
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    58
binary-arch: build install
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    59
	dh_testdir
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    60
	dh_testroot
213
f386d870e8e4 Fix some bug in debian packages
greg
parents: 171
diff changeset
    61
#	dh_installchangelogs 
f386d870e8e4 Fix some bug in debian packages
greg
parents: 171
diff changeset
    62
#	dh_installdocs
f386d870e8e4 Fix some bug in debian packages
greg
parents: 171
diff changeset
    63
#	dh_installexamples
106
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    64
#	dh_install
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    65
#	dh_installmenu
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    66
#	dh_installdebconf	
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    67
#	dh_installlogrotate
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    68
#	dh_installemacsen
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    69
#	dh_installpam
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    70
#	dh_installmime
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    71
#	dh_python
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    72
#	dh_installinit
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    73
#	dh_installcron
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    74
#	dh_installinfo
213
f386d870e8e4 Fix some bug in debian packages
greg
parents: 171
diff changeset
    75
#	dh_installman
106
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    76
	dh_link
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    77
	dh_strip
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    78
	dh_compress
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    79
	dh_fixperms
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    80
#	dh_perl
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    81
#	dh_makeshlibs
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    82
	dh_installdeb
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    83
	dh_shlibdeps
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    84
	dh_gencontrol
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    85
	dh_md5sums
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    86
	dh_builddeb
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    87
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    88
binary: binary-indep binary-arch
171
59f5197b088a updated : debian package scripts
greg
parents: 106
diff changeset
    89
.PHONY: build clean binary-indep binary-arch binary install