diff options
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))) |