File debian.rules of Package dune-common

#!/usr/bin/make -f

# -*- makefile -*-
# Sample debian/rules that uses debhelper.
# This file was originally written by Joey Hess and Craig Small.
# As a special exception, when this file is copied by dh-make into a
# dh-make output file, you may use that output file without restriction.
# This special exception was added by Craig Small in version 0.37 of dh-make.

# Uncomment this to turn on verbose mode.
export DH_VERBOSE=1
# enable debug symbols, dh_strip will automatically remove them for the
# non-debug packages
export CXXFLAGS=-g
export CFLAGS =-g

%:
	dh  $@

# Additional flags for configure:
#  - build shared libraries (apparently dpkg-buildpackage expects this)
override_dh_auto_configure:
	dh_auto_configure -- --enable-shared

.PHONY: override_dh_strip
override_dh_strip:
	dh_strip --dbg-package=dune-common-dbg


override_dh_auto_test: