3
int_modules="@int_modules@"
4
ext_modules="@ext_modules@"
5
int_plugins="@int_plugins@ `tail -1 @vmmdir@/plugins.int | sed 's,.* =,,'`"
6
ext_plugins="@ext_plugins@ `tail -1 @vmmdir@/plugins.ext | sed 's,.* =,,'`"
8
if test -f plugins.exc; then
9
nlsp='tr \012\015 \040\040'
10
spnl='tr \040\040 \012\012'
11
int_modules="`echo ${int_modules} | $spnl | fgrep -v -f plugins.exc | $nlsp`"
12
ext_modules="`echo ${ext_modules} | $spnl | fgrep -v -f plugins.exc | $nlsp`"
13
int_plugins="`echo ${int_plugins} | $spnl | fgrep -v -f plugins.exc | $nlsp`"
14
ext_plugins="`echo ${ext_plugins} | $spnl | fgrep -v -f plugins.exc | $nlsp`"
15
exc_plugins="`cat plugins.exc | $nlsp`"
20
platforms="@topdir@/platforms"
22
vmi_conf="${platforms}/unix"
23
plg_conf="${vmi_conf}/plugins"
25
vmi_dirs="@vmmdir@ ${platforms}/Cross ${vmi_conf}"
26
int_dirs="@vmmdir@/vm/intplugins ${platforms}/Cross/plugins ${plg_conf}"
27
ext_dirs="@vmmdir@/plugins ${platforms}/Cross/plugins ${plg_conf}"
35
int_modules="${int_modules}"
36
ext_modules="${ext_modules}"
37
int_plugins="${int_plugins}"
38
ext_plugins="${ext_plugins}"
39
exc_plugins="${exc_plugins}"
41
vmi_dirs="${vmi_dirs}"
42
int_dirs="${int_dirs}"
43
ext_dirs="${ext_dirs}"