File: install_plugin

package info (click to toggle)
gretl 2016d-1
  • links: PTS
  • area: main
  • in suites: stretch
  • size: 48,620 kB
  • ctags: 22,779
  • sloc: ansic: 345,830; sh: 4,648; makefile: 2,712; xml: 570; perl: 364
file content (14 lines) | stat: -rwxr-xr-x 234 bytes parent folder | download | duplicates (11) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
#!/bin/sh

PLUG=$1
DEST=~/dist/Gretl_Folder/lib/gretl-gtk2

if [ "x$PLUG" = "x" ] ; then
  echo "Supply the basename of a plugin to install"
  exit 1;
fi

make ${PLUG}.la
../libtool --mode=install install -c -m 755 ${PLUG}.la $DEST