diff options
| author | Raul Infante-Sainz <infantesainz@gmail.com> | 2020-09-14 15:49:24 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-09-15 18:49:42 +0100 |
| commit | 0c882a44e43a95761ffecdeebb57f2709e6f96e5 (patch) | |
| tree | d75adb96ffda82766f574e007d0f4fb5a3e602d1 /reproduce/analysis | |
| parent | 11b11e93fbdb29be69a936950438ed1cbea34a11 (diff) | |
Checking Xcode installation for macOS systems
Until now, during the configure step it was checked if the host Operative
System were GNU/Linux, and if not, we assumed it is macOS. However, it can
be any other different OS! With this commit, now we explicity check if the
system is GNU/Linux or Darwin (macOS). If it is not any of them, a warning
message says to the user that the host system is different from which we
have checked so far (and invite to contact us if there is any problem).
In addition to this, if the system is macOS, now it checks if Xcode is
already installed in the host system. If it is not installed, a warning
message informs the user to do that in case a problem/crash in the
configure step occurs. We have found that it is convenient to have Xcode
installed in order to avoid some problems.
Diffstat (limited to 'reproduce/analysis')
0 files changed, 0 insertions, 0 deletions