tools: install libs with profile information
authorBernhard Urban <lewurm@gmail.com>
Sun, 20 May 2012 20:56:24 +0000 (22:56 +0200)
committerBernhard Urban <lewurm@gmail.com>
Sun, 20 May 2012 20:56:24 +0000 (22:56 +0200)
commit933ec7b98b049bc7b5708a052d4224f07179bd93
tree1098d88c567fd864157ac074b89bb4a837b6534d
parentb12b3f367d913549cd51cc4eb66e54f4e3d37d50
tools: install libs with profile information
tools/installhaskellenv.sh