diff options
| author | Sven Schneider | 2012-11-13 22:06:52 +0100 |
|---|---|---|
| committer | Sven Schneider | 2012-11-13 22:06:52 +0100 |
| commit | 75f48bac4584ba4a8ebe4b2b7ae13a7ffb960f71 (patch) | |
| tree | cfa5a77645b2e0019448429090452b50483be3d9 | |
| parent | eb7018e7743d3e07828cc9ab2d5a3052df3d92b0 (diff) | |
| download | aur-75f48bac4584ba4a8ebe4b2b7ae13a7ffb960f71.tar.gz | |
graspit: add header files for gui and collision interface
| -rw-r--r-- | PKGBUILD | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -39,6 +39,10 @@ package() { # include all header files install -dm755 "${pkgdir}/usr/include/graspit" cp -r include/* "${pkgdir}/usr/include/graspit/" + cp -r ui/*.h "${pkgdir}/usr/include/graspit/" + cp -r ui/Planner/*.h "${pkgdir}/usr/include/graspit/" + cp -r ui/EGPlanner/*.h "${pkgdir}/usr/include/graspit/" + cp -r src/Collision/*.h "${pkgdir}/usr/include/graspit/" # create a directory for plugins install -dm755 "${pkgdir}/usr/share/graspit/plugin" |