Remove libidris_rts.a from data-files as it does not belong in the sdist and is installed by the Makefile
commit91b016a02d826e503ee327f3e3bef7cc7530217e
authorBenjamin Saunders <besaunde@sfu.ca>
dateFri 28 Jun 2013, 17:45 (13 years ago)
parentae4ca22
idris.cabal+2−2
@@ -47,8 +47,8 @@ Cabal-Version: >= 1.6
4747Build-type: Custom
4848
4949
50−Data-files: rts/libidris_rts.a rts/idris_rts.h rts/idris_gc.h
51− rts/idris_stdfgn.h rts/idris_main.c rts/idris_gmp.h
50+Data-files: rts/idris_rts.h rts/idris_gc.h rts/idris_stdfgn.h
51+ rts/idris_main.c rts/idris_gmp.h
5252 rts/libtest.c
5353 js/Runtime-common.js
5454 js/Runtime-node.js