Merge pull request #365 from Ralith/fix-missing-js-sources
Add missing idris sources for javascript to extra-source-files to fix cabal sdist
commit336760d82ac894e3efb56cac27f48fcccabd766a
authorEdwin Brady <edwin.brady@gmail.com>
dateMon 1 Jul 2013, 09:56 (13 years ago)
parent4bebb72efa5738
idris.cabal+1
@@ -65,6 +65,7 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
6565 effects/Makefile effects/*.idr effects/Effect/*.idr
6666 effects/effects.ipkg
6767 javascript/Makefile
68+ javascript/JavaScript/*.idr
6869 javascript/*.idr
6970 javascript/javascript.ipkg
7071 config.mk