Какой безопасный и простой способ установить noweb на Windows 10? - PullRequest
0 голосов
/ 19 февраля 2019

Очевидно, что только один человек смог это сделать.Я точно следую его установкам, но у меня нет компилятора iconc.Следуя инструкциям Makefile, я использую icont (который у меня есть), но тогда инструкции Джима вообще не работают.

$ make install
[...]
cp totex disambiguate noidx tohtml elide l2h docs2comments autodefs.tex autodefs.icon autodefs.yacc autodefs.sml autodefs.pascal autodefs.promela autodefs.lrtl autodefs.asdl autodefs.mmix xchunks pipedocs /c/nowebFiles/usr/local/noweb/lib
cp: cannot stat `totex': No such file or directory
cp: cannot stat `disambiguate': No such file or directory
cp: cannot stat `noidx': No such file or directory
cp: cannot stat `tohtml': No such file or directory
cp: cannot stat `elide': No such file or directory
cp: cannot stat `l2h': No such file or directory
cp: cannot stat `docs2comments': No such file or directory
cp: cannot stat `xchunks': No such file or directory
cp: cannot stat `pipedocs': No such file or directory
make[1]: *** [install] Error 1
make[1]: Leaving directory `/home/Melba/noweb-2.11b/src/icon'
make: *** [install-code] Error 2

Проблема в том, что icont создает totex.icxа не totex.Это из-за того, что у меня нет iconc, и я вместо этого использую icont?Я установил icont с на его домашнюю страницу , и, похоже, он не iconc.Что мне делать?

Просто чтобы вы знали: я изменил lib/Makefile, чтобы называть эти программы totex.icx, и поэтому я могу собрать все это, но noweave не 'Это не сработало, поэтому я сделал все это с нуля и остановился на этом пункте выше, чтобы задать этот вопрос здесь, потому что единственное, что я отличаю от Джима, - это то, что он мог иметь компилятор iconc, а я нет.(Он, очевидно, также работает на Windows 7, но я не думаю, что здесь вообще что-то изменится.) Спасибо!

...