diff options
Diffstat (limited to 'debian/rules')
| -rw-r--r-- | debian/rules | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index 366d923e5..14cad5c19 100644 --- a/debian/rules +++ b/debian/rules @@ -18,6 +18,7 @@ override_dh_auto_build: cd src/runtime/java && make CFLAGS="-I$(CURDIR)/src/runtime/c -L$(CURDIR)/src/runtime/c/.libs" INSTALL_PATH=/usr/lib echo LD_LIBRARY_PATH=$$LD_LIBRARY_PATH:$(CURDIR)/src/runtime/c/.libs LD_LIBRARY_PATH=$$LD_LIBRARY_PATH:$(CURDIR)/src/runtime/c/.libs cabal build + make html override_dh_auto_clean: rm -fr dist/build |