Какой безопасный и простой способ установить noweb на Windows 10?

Question

Видимо, только один человек смог это сделать. Я точно следую его установкам, но у меня нет компилятора 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, но я не думаю, что здесь вообще что-то изменится.) Спасибо!

Answer 1

Я только начал использовать Windows 10 и установил Linux-среду Debian из Магазина Microsoft (странно это печатать). Это находится в подсистеме Windows для Linux (WSL). Я сначала обновил программное обеспечение по умолчанию, как они рекомендуют:

      sudo apt-get update
sudo apt-get upgrade

После этого я установил aptitude, менеджер пакетов Debian, который я предпочитаю ( apt-get install aptitude), затем emacs и noeb. (Я использую обе почти во всех своих работах.) Установка noweb загружает tex и другие вспомогательные программы в WSL.

Я только что создал простой файл noweb и теперь создал компилируемый текст, который отлично работал с pdflatex. Таким образом, теперь стало намного проще заставить noeb работать в Windows 10.

Потенциальное предостережение заключается в том, что я еще не полностью понимаю, как две системы (собственная Windows 10 и подсистема WSL linux) взаимодействуют друг с другом. Ранее сегодня я обнаружил, что не могу сохранить файл из Emacs, работающего в родной среде Windows 10, в среду Linux WSL Debian. Но я могу сохранить файл в родной файловой системе Windows 10 из WSL linux Emacs. Поэтому, хотя теперь можно относительно легко установить noeb в Windows 10, это может быть слишком громоздким рабочим процессом.