Hi Benjamin,
Am Sonntag, den 14.12.2014, 18:09 -0500 schrieb Benjamin Barenblat:
I’d like to package (snapshots of) Ulf Norell’s Agda Prelude. The
system requires a tiny Haskell library, agda-ffi, which lives in the
repository’s agda-ffi subdirectory. However, the CDBS infrastructure
Hi Benjamin,
I presume you already tried something like
dh $@--sourcedirectory=your-source
I think the best solution usually is to package the library separately from the
other code, because other people might find it useful too.
sorry if the answe isn't haskell oriented :-)
cheers,
G.
