error while executing make -C $DAIKONDIR rebuild-everything command

[Garima Mangal]

i followed all the steps given in user manual.

 

I am installing daikon on ubuntu 18.04.

after running make command i am getting the following error.

[Michael Ernst]

I'm sorry you are having trouble.  We would like to help you, but we cannot do so from this incomplete bug report.  Can you please provide all the details that were requested in the issue template (https://github.com/codespecs/daikon/issues/new) and the bug reporting section of the manual (http://plse.cs.washington.edu/daikon/download/doc/daikon.html#Reporting-problems)?  This will enable us to reproduce the problem, fix it, and verify the fix.  Furthermore, those explicitly say not to use screenshots, and they tell you where to submit a bug (this mailing list is not the appropriate place).

Mike

--
You received this message because you are subscribed to the Google Groups "Daikon discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to daikon-discus...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/daikon-discuss/7a7d9954-3e50-413d-8554-4e4464db537b%40googlegroups.com.

[bo yang]

I met the same problem, here is a full report: https://github.com/codespecs/daikon/issues/201.

My solution is, 

1. open your terminal,

2. go to daikon's root,

3. type `make` and it will show a list of options, then

4. type `make $ANOPTION`

One of the options is `doc-all`, this option will fail, which I think is also the root of this problem. I think other options can work well.  

On Saturday, 18 April 2020 10:13:18 UTC-4, Michael Ernst wrote:

I'm sorry you are having trouble.  We would like to help you, but we cannot do so from this incomplete bug report.  Can you please provide all the details that were requested in the issue template (https://github.com/codespecs/daikon/issues/new) and the bug reporting section of the manual (http://plse.cs.washington.edu/daikon/download/doc/daikon.html#Reporting-problems)?  This will enable us to reproduce the problem, fix it, and verify the fix.  Furthermore, those explicitly say not to use screenshots, and they tell you where to submit a bug (this mailing list is not the appropriate place).

Mike

On Sat, Apr 18, 2020 at 7:11 AM Garima Mangal <h201...@goa.bits-pilani.ac.in> wrote:

i followed all the steps given in user manual.

 

I am installing daikon on ubuntu 18.04.

after running make command i am getting the following error.

--
You received this message because you are subscribed to the Google Groups "Daikon discuss" group.

To unsubscribe from this group and stop receiving emails from it, send an email to daikon-...@googlegroups.com.

[Garima Mangal]

PFA  file for more clarification regarding what i did and where i got stuck.

[Michael Ernst]

The file you attached still has a screenshot rather than a full transcript of the output.

However, it suggests that the installation instructions lack a needed dependency.  (Sorry about that!)
Could you try adding

sudo apt-get install -y texlive-generic-recommended

to your list of commands and let me know if that works?

Mike

PS:

# Here are commands that install Daikon from its distribution, in a
#  subdirectory of the current directory, on Ubuntu.  If you run `docker run
# -it ubuntu` then type the following, it will install Daikon successfully.
# If desired, you can use openjdk-8-jdk instead of openjdk-11-jdk.

apt update
apt-get install -y openjdk-11-jdk

apt-get install -y wget

wget http://plse.cs.washington.edu/daikon/download/daikon-5.8.0.tar.gz
tar zxf daikon-5.8.0.tar.gz

export DAIKONDIR=$(cd daikon-5.8.0 && pwd)
source $DAIKONDIR/scripts/daikon.bashrc

apt-get install -y openjdk-11-jdk gcc ctags git graphviz make netpbm \
  texlive texlive-generic-recommended texinfo \
  autoconf automake binutils-dev m4 zlib1g-dev

make -C $DAIKONDIR rebuild-everything

--
You received this message because you are subscribed to the Google Groups "Daikon discuss" group.

To unsubscribe from this group and stop receiving emails from it, send an email to daikon-discus...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/daikon-discuss/9aa5f183-0ca6-4e29-90db-a31649eaab89%40googlegroups.com.