Opened 5 years ago

Closed 4 years ago

#91 closed feature (fixed)

Make (install) enhancements

Reported by: Lukáš Zaoral Owned by: Vladimír Štill
Priority: minor Milestone: 4.3
Component: other Keywords:
Cc: kdudka@…, jamartis@…, lzaoral@…

Description

Hello,
thank you for fixing the make install procedure in #73! I have got a few small downstream changes whose incorporation would make the Divine building/installation process a bit more faster and straightforward:

  1. Divine builds all possible LLVM targets by default, but never uses anything else than X86. Other redundant targets can be skipped by adding the following line to the corresponding CMakeLists.txt file.

set( LLVM_TARGETS_TO_BUILD "X86" CACHE STRING "" )

  1. By default only divine itself is installed. Automatically installing other tools like divcc, dioscc, etc. would make the install process easier.
  1. The divine-sim target is not build with the POSITION_INDEPENTENT_CODE ON property while other divine targets are.

Thank you.

Change History (2)

comment:1 Changed 4 years ago by Vladimír Štill

Owner: changed from mornfall to Vladimír Štill
Status: new → accepted

We will look into PIC & installation of divcc/dioscc. As for the targets, I believe we had a discussion about it once and decided against limiting it but I don't remember why (technically, DIVINE should work for example on ARMv8/AArch64 with no problem, but noone ever tried).

comment:2 Changed 4 years ago by Vladimír Štill

Resolution: → fixed
Status: accepted → closed

It seems both sim PIC and dioscc/divcc install should be fixed in current next. If you need any changes related to making packages smaller, please enter a new issue.

Note: See TracTickets for help on using tickets.