diff options
| author | hallgren <hallgren@chalmers.se> | 2014-06-16 20:12:44 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-06-16 20:12:44 +0000 |
| commit | 6c40e0ac379641b4ae0f048cca3d6c0531e9229e (patch) | |
| tree | ccd95bcd56c92ef1b499b842286a234849f89caf /debian | |
| parent | b3f8b90f2b46e89edeada20324e396882612fe2f (diff) | |
debian/rules: include the C run-time system when building .deb packages
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/rules | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/debian/rules b/debian/rules index 8158e3c1a..197aa92d2 100644 --- a/debian/rules +++ b/debian/rules @@ -4,18 +4,22 @@ +dh $@ override_dh_auto_build: - cabal build + LD_LIBRARY_PATH=$(CURDIR)/src/runtime/c/.libs cabal build override_dh_auto_clean: rm -fr dist/build + -cd src/runtime/c && make clean override_dh_auto_configure: + cd src/runtime/c && ./setup.sh configure --prefix=/usr + cd src/runtime/c && ./setup.sh build cabal update cabal install --only-dependencies - cabal configure --prefix=/usr -fserver + cabal configure --prefix=/usr -fserver -fc-runtime --extra-lib-dirs=$(CURDIR)/src/runtime/c/.libs --extra-include-dirs=$(CURDIR)/src/runtime/c override_dh_auto_install: - cabal copy --destdir=$(CURDIR)/debian/gf + LD_LIBRARY_PATH=$$LD_LIBRARY_PATH:$(CURDIR)/src/runtime/c/.libs cabal copy --destdir=$(CURDIR)/debian/gf + cd src/runtime/c && ./setup.sh copy prefix=$(CURDIR)/debian/gf/usr override_dh_auto_test: ifneq (nocheck,$(filter nocheck,$(DEB_BUILD_OPTIONS))) |