Changes between Initial Version and Version 1 of Ticket #73, comment 2


Ignore:
Timestamp:
07/26/2019 03:22:36 PM (5 years ago)
Author:
Lukáš Zaoral
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #73, comment 2

    initial v1  
    1 I was able to successfully install latest release of Divine on Fedora 30 with following modifications:
     1I was able to successfully install the latest release of Divine on Fedora 30 with following modifications:
    22
    331) The 'dios/libcxx/utils/cat_files.py' script should have the executable bit set.
    … …  
    1717
    18187) The 'divine/CMakeLists.txt' file has missing install targets for divine-sim, divine-mc, divine-smt and divine-dbg.
     19
     20Few of these modifications are more of a workaround than fix, but I hope they point to the right direction.