File: install_plugin

package info (click to toggle)
gretl 2019a-1
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 53,708 kB
  • sloc: ansic: 367,137; sh: 4,416; makefile: 2,636; cpp: 2,499; xml: 580; 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