installation bug?

[Mihaela Dirlea]

Hi!

I whould like to use the SUIF 2.0 software but I have some problems
installing it. My last problem, which I can't handle is the following:

The error message is:
    basesuif/prune/pruned_sty ... FAILED -- see
basesuif/prune/pruned_sty/install.log

The content of the log file (install.log) is:

if test -d RCS ; then \
  rm -rf /temp/d1/suif/suif2.0/src/basesuif/prune/pruned_sty ; \
 else : ; \
 fi
if test -d RCS ; then \
  mkdir /temp/d1/suif/suif2.0/src/basesuif/prune/pruned_sty ; \
  chmod 775 /temp/d1/suif/suif2.0/src/basesuif/prune/pruned_sty ; \
 else : ; \
 fi
build_pruning_index pruned_sty
for target in pruned_sty.defs pruned_sty.uses pruned_sty.spec
pruned_sty.i2d pruned_sty.i2s pruned_sty.i2w pruned_sty.def2defs; do \
  suif-install $target /temp/d1/suif/suif2.0/pruning_indexes 444 ; \
 done
if test -d RCS ; then \
  mkdir /temp/d1/suif/suif2.0/src/basesuif/prune/pruned_sty ; \
  chmod 775 /temp/d1/suif/suif2.0/src/basesuif/prune/pruned_sty ; \
 else : ; \
 fi
if test -d RCS ; then \
  cp           pruned_sty.defs pruned_sty.uses pruned_sty.spec  Makefile
\
   /temp/d1/suif/suif2.0/src/basesuif/prune/pruned_sty ; \
  for i in /temp/d1/suif/suif2.0/src/basesuif/prune/pruned_sty/* ; do \
   if test -f ${i} ; then \
    chmod 444 ${i} ; \
   else \
    true ; \
   fi ; \
  done ; \
 else : ; \
 fi
make[7]: *** No rule to make target `pruned_sty.combined', needed by
`pruned_sty.h'.  Stop.
make[6]: *** [real-reinstall-keep-src] Error 2
make[5]: *** [reinstall-keep-src] Error 2
make[4]: *** [install-keep-src] Error 2
make[4]: Nothing to be done for `install-verdata'.

---------------------- end of the install.log file


 Can you tell me which is the reason of the failure and what shall I do
to complet the installation?

Greetings,
Mihaela

P.S. My first problem during the installation process was because of
using a template without specifying the type it uses. I fixed it by
replacing in the header file named         src/basesuif/tv/
tv_exprset.h   a code line (260) from the next section:

template <class elem_t> class tv_rc_exprset : public
        tv_compset<elem_t, tv_set<elem_t> >
  {
private:
    tv_rc_exprset_block<elem_t> *_block;

    tv_rc_exprset(tv_rc_exprset_block<elem_t> *init_block) :
_block(init_block)
      { _block->add_ref(); }

    void make_modifiable(void)
      {
        if (!_block->count_is_one())
          {
            _block->remove_ref();

//mihaela deleted       tv_exprset &old_exprset = _block->exprset();

           tv_exprset<elem_t> &old_exprset = _block->exprset();
/*mihaela  added */

.............................