Opened 4 years ago

Last modified 3 years ago

#113 new defect

make install fails for DIVINE 4.4.2 on Debian 10

Reported by: John Lång Owned by: mornfall
Priority: major Milestone: 4.4
Component: other Keywords:
Cc: John Lång


The output can be found in the attachment.

Attachments (1)

output.txt (10.5 KB) - added by John Lång 4 years ago.

Download all attachments as: .zip

Change History (3)

Changed 4 years ago by John Lång

Attachment: output.txt added

comment:1 Changed 4 years ago by John Lång

Cc: John Lång added

comment:2 Changed 3 years ago by John Lång

There is a workaround to this issue: If the compilation succeeds, then the binary divine appears in the directory _build.release/tools/. I created a symbolic link to this executable in usr/local/bin, so now I can use divine from command line as if it was properly installed.

Note: See TracTickets for help on using tickets.