projects
/
hvlinux.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Add temporary hack for libtool when using DESTDIR in stage1
[hvlinux.git]
/
stage1
/
pkg
/
isl
diff --git a/stage1/pkg/isl
b/stage1/pkg/isl
new file mode 100644
(file)
index 0000000..
481e118
--- /dev/null
+++ b/
stage1/pkg/isl
@@ -0,0
+1,7
@@
+#!/bin/bash
+
+hvbuild_post()
+{
+ sed -i -e "s@ /tools/lib/libgmp.la@ ${TOOLS_DIR}/lib/libgmp.la@" \
+ ${TOOLS_DIR}/lib/libisl.la
+}