Skip to content

Instantly share code, notes, and snippets.

@lamby

lamby/mlton.diff.txt Secret

Created August 30, 2015 19:18
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save lamby/8969f5c2d7b97be9f9fa to your computer and use it in GitHub Desktop.
Save lamby/8969f5c2d7b97be9f9fa to your computer and use it in GitHub Desktop.
Download ZIP
Raw
mlton.diff.txt
--- a/debian/rules 2015-08-30 18:01:03.652924594 +0100
--- b/debian/rules 2015-08-30 19:49:23.367848303 +0100
@@ -13,7 +13,7 @@
DEB_COMPRESS_EXCLUDE_ALL = mlton/guide .sml
DEB_MAKE_CLEAN_TARGET = clean clean-svn
-DEB_MAKE_BUILD_TARGET = all RUNTIME_ARGS="$(HEAPSIZE)"
+DEB_MAKE_BUILD_TARGET = all RUNTIME_ARGS="$(HEAPSIZE)" VERSION=$(shell dpkg-parsechangelog -SVersion)
DEB_MAKE_INSTALL_TARGET = install-no-strip DESTDIR=$(CURDIR)/debian/tmp/ PREFIX=/usr MAN_PREFIX_EXTRA=/share
DEB_MAKE_CHECK_TARGET = check
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment