Opened 3 years ago

Last modified 2 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

Description

The output can be found in the attachment.

Attachments (1)

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

Download all attachments as: .zip

Change History (3)

Changed 3 years ago by John Lång

Attachment: output.txt​ added

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

Cc: John Lång added

comment:2 Changed 2 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.