Ошибка компиляции Gnatmake после компиляции .adb на Mac OS - PullRequest
Новая
       9

Ошибка компиляции Gnatmake после компиляции .adb на Mac OS

0 голосов
/ 08 февраля 2019

Я только что установил компилятор сообщества AdaCore версии dwarvin (gnat-community-2018-20180523-arm-elf-darwin-bin.dmg) с GPS.Используя соответствующий установщик из adacore.Мне также удалось добавить в мой стартовый скрипт путь gnat.Пока все работает нормально, gnat --version возвращает версию appriate и т. Д.

Но когда я хочу скомпилировать файл .adb, используя gnatmake filename.adb

user$ gnatmake filename.adb

gcc -c filename.adb
gcc: error trying to exec 'gnat1': execvp: No such file or directory
gnatmake: "filename.adb" compilation error

И даже после использования gnatmake -c filename.adb Я получаю 

gcc -c filname.adb
gcc: error trying to exec 'gnat1': execvp: No such file or directory
gnatmake: "filename.adb" compilation error

Я попросил своего профессора о помощи, он сказал, что используйте предоставленную виртуальную машину (для Windows), я просто хочу избежать использования виртуальной машины.Пожалуйста, помогите мне исправить эту ошибку.

После выполнения следующей команды gnatmake filname.adb -cargs -c появилось следующее. 

gcc -c -v filename.adb
Using built-in specs.
COLLECT_GCC=/opt/gps//bin/gcc
Target: x86_64-apple-darwin16.7.0
Configured with: ../src/configure --enable-languages=ada,c,c++,objc --enable-lto --with-stage1-ldflags=-static-libstdc++ --with-boot-ldflags=-static-libstdc++ --disable-libcilkrts --with-bugurl=URL:mailto:report@adacore.com --disable-nls --without-libiconv-prefix --disable-libstdcxx-pch --disable-libada --enable-checking=release --disable-multilib --with-mpfr=/gnatmail/sandbox/community/x86_64-darwin/mpfr_stable-c/install --with-gmp=/gnatmail/sandbox/community/x86_64-darwin/gmp_stable-c/install --with-mpc=/gnatmail/sandbox/community/x86_64-darwin/mpc_stable-c/install --with-build-time-tools=/gnatmail/sandbox/community/x86_64-darwin/gcc_current-c/build/buildtools/bin --prefix=/gnatmail/sandbox/community/x86_64-darwin/gcc_current-c/pkg --build=x86_64-apple-darwin16.7.0
Thread model: posix
gcc version 7.3.1 20180524 (for GNAT Community 2018 20180523) (GCC) 
COLLECT_GCC_OPTIONS='-gnatea' '-c' '-v' '-gnatez' '-mtune=core2' '-mmacosx-version-min=10.14.2'
 gnat1 -quiet -dumpbase filename.adb -auxbase filename -gnatez -gnatea -gnatez -mtune=core2 -mmacosx-version-min=10.14.2 -fPIC filename.adb -o /var/folders/9r/52d5kqc906v4phl9jgjrxdlr0000gn/T//ccQlDd19.s
gcc: error trying to exec 'gnat1': execvp: No such file or directory
gnatmake: "filename.adb" compilation error

1 Ответ

0 голосов
/ 12 февраля 2019

Теперь мы можем видеть, как компилятор жалуется (спасибо за обновление в вопросе), похоже, что у вас возникла проблема с установкой.

Здесь я получаю (отредактирован, чтобы удалить менее значимые части) 

[...]
COLLECT_GCC=/opt/gnat-ce-2018//bin/gcc

У вас есть /opt/gps//bin/gcc, поэтому ваш "префикс" (под которым находится установка) - /opt/gps, где мой - /opt/gnat-ce-2018 (я не знаю, почемудве косые черты там, кажется, не имеет значения).Тогда 

[...]
 /opt/gnat-ce-2018/bin/../libexec/gcc/x86_64-apple-darwin16.7.0/7.3.1/gnat1 -quiet -dumpbase [...]

, где у вас просто есть gnat1.Итак, должен иметь файл /opt/gps/libexec/gcc/x86_64-apple-darwin16.7.0/7.3.1/gnat1, и он должен быть исполняемым.

Я бы попробовал переустановить.

...