From 6ba2fca45bb6d5222e6e219681bb173f688d9ab8 Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@mit.edu>
Date: Thu, 5 Feb 2015 16:27:37 -0500
Subject: Begin packaging CompCert

---
 debian/rules | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100755 debian/rules

(limited to 'debian/rules')

diff --git a/debian/rules b/debian/rules
new file mode 100755
index 0000000..151b7e9
--- /dev/null
+++ b/debian/rules
@@ -0,0 +1,12 @@
+#!/usr/bin/make -f
+# -*- makefile -*-
+
+# Avoid overlinking and reduce library dependencies.
+export DEB_LDFLAGS_MAINT_APPEND = -Wl,--as-needed
+
+%:
+	dh $@ --parallel
+
+.PHONY: override_dh_builddeb
+override_dh_builddeb:
+	dh_builddeb -- -Zxz -z9
-- 
cgit v1.2.3