debian/rules
author Mario de Sousa <msousa@fe.up.pt>
Wed, 24 Oct 2012 15:32:48 +0100
changeset 682 966f32af570d
parent 213 f386d870e8e4
permissions -rwxr-xr-x
Major code cleanup: IL code generation now uses symbol.datatype (filled in during stage3 data type checking) instead of determining the symbol's datatype by itself.
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