Как установить OCaml с OPAM на windows?

Как установить OCaml с OPAM на windows?

Ответ 1

Я смог установить OCaml 4.03.0 в Windows 10 с помощью диспетчера пакетов Opam, следуя руководству этого веб-сайта: http://fdopen.github.io/opam-repository-mingw/. Вот подробные шаги, которые я сделал:

  • Установите OCaml, Opam и Cygwin:

    • Загрузите установочный пакет по этой ссылке: http://fdopen.github.io/opam-repository-mingw/installation/. Есть 32-разрядная и 64-разрядная версия, но я предлагаю установить OCaml 64bit.

    • При запуске графического файла установки он автоматически установит для вас OCaml 4.02.3, Cygwin, Opam.

    • После установки на рабочем столе Windows будет создан ярлык для OCaml и Cygwin.

  • Теперь откройте терминал Cygwin из ярлыка на рабочем столе Windows и выполните следующие действия:

    • Установите некоторые необходимые библиотеки для Opam:

      • opam install depext
      • opam install depext-cygwinports
    • Обновите OCaml до 4.03.0 с помощью Opam:

      • opam switch 4.03.0+mingw64
      • eval 'opam config env'

Там у вас OCaml 4.03.0 на Windows!

Ответ 2

Я смог без проблем запустить OCaml и Opam в Windows 10 с использованием подсистемы Windows для Linux (WSL).

Здесь очень подробное описание и инструкция OCaml для Windows: простой способ

Примечание: 2 опечатка в статье OCaml в Windows: простой способ, как на этом посту, когда вы сталкиваетесь с этими двумя инструкциями, пожалуйста, используйте следующие

  1. nano.ocamlinit (* добавить дополнительный я nano.ocamlint *)
  2. open Core.Std;; (* удалить # из #open Core.Std;; *)

Надеюсь, это поможет кому-то!

** Исходная ссылка была удалена, поэтому здесь содержимое

OCaml в Windows: простой способ

В прошлом было несколько способов запуска OCaml в Windows, и здесь есть обширный список. Тем не менее, все они имеют недостатки, независимо от того, связано ли это с тем, что кто-то другой обновляет двоичные файлы установщика или должен иметь дело с установкой и управлением Cygwin только для запуска OCaml.

К счастью, с выпуском подсистемы Windows для Linux (WSL), можно легко использовать стандартный Ubuntu OCaml/OPAM изнутри Windows и интегрировать его с редактором кода Windows GUI. В этом руководстве предполагается, что у вас уже установлена WSL - если не вернуться после настройки, следуя этому руководству.

Учитывая, как фундаментальные модули, такие как Core by Jane Street, выполняют любую реальную работу с OCaml, собирались установить диспетчер пакетов OPAM и Core вместе с только компилятором. Конечный результат - это именно то, что вам нужно, чтобы начать отличное руководство в реальном мире OCaml.

Во-первых, нам нужно загрузить и установить ocaml и opam, нам нужно добавить файл личного архива (ppa) в apt-get, потому что официальные репозитории Ubuntu имеют случайные проблемы. Код ниже добавляет это частное репо к apt-get.

sudo add-apt-repository ppa:avsm/ppa
sudo apt-get update

Затем просто используйте apt-get для установки ocaml, opam и m4 (для работы исправления требуется также макропроцессор)

sudo apt-get install ocaml opam m4

Следующий шаг - настроить opam. Начните с opam init, который попросит вас дать ему разрешение на обновление ваших файлов.ocamlinit и.profile. Вы можете просто ответить "да" на оба, чтобы внести изменения.

Это позволяет запустить базовый цикл REPL с помощью команды ocaml. Тем не менее, несколько дополнительных бит и кусочков необходимы, чтобы добраться до начала руководства Real World от OCAMl. Мы устанавливаем эти дополнения через opam командой:

opam install core utop

Обычно wed теперь добавляют переменные среды для запуска среды с помощью команды:

eval 'opam config env'

Который должен добавить переменные, которые вам нужны, как объяснено здесь и здесь. Однако, когда я пробовал его на WSL, он не работал, я думаю, что это побочный эффект разницы между тем, как окна и linux обрабатывают новые строки. Вы можете это увидеть сами, запустив команду, а затем распечатайте, чтобы просмотреть все переменные среды - ни одна из переменных не была установлена.

Вместо этого, если мы используем эту команду:

eval "$(opam config env)"

Затем все команды передаются "eval как блок", и поэтому все это оценивается чисто, и если вы запускаете printenv, вы должны увидеть все необходимые переменные среды.

Остается только установить OCaml с пользовательским utop, отредактировав файл.ocamlinit, который будет находиться в вашем домашнем каталоге.

Сторона Примечание. Если вы новичок в bash, вы можете быть смущены, что он не появится, если вы запустите ls в своем домашнем каталоге. Это из-за. перед именем файла, которое скрывает его по умолчанию. Если вы запустите ls -a вы сможете это увидеть.

Откройте этот файл с помощью любого вашего любимого текстового редактора, например nano.ocamlinit, а затем добавьте эти строки. Это код OCaml, который будет выполняться при инициализации, то есть каждый раз, когда вы запускаете среду OCaml.

#use "topfind";;
#thread;;
#camlp4o;;
#require "core.top";;
#require "core.syntax";;
open Core.Std;;

Теперь все делает то, что он должен делать - если вы запустите ocaml, вы получите утоп с загруженным модулем Core и будьте готовы начать работать с отличным руководством Real World OCaml.

Однако есть одна последняя морщина. Установка переменных окружения таким образом является временной - если вы выйдете из WSL, а затем перезапустите ее с помощью bash, а затем повторно запустите printenv, вы увидите, что вы потеряли переменные окружения, а команда ocaml теперь выйдет из строя - невозможно найти путь для topfind, поскольку экологические переменные исчезли.

Чтобы исправить это, мы можем добавить команду eval "$(opam config env)" в eval "$(opam config env)" вашего.bashrc файла в вашей домашней папке, который запускается bash каждый раз, когда вы входите в систему. Это гарантирует, что он запускается автоматически, так что вы можете просто войти в систему и запустить ocaml, чтобы создать полностью функциональную среду ocaml. Если вы переключите компилятор с помощью команды opam switch, вам нужно будет либо повторно запустить команду, либо перезапустить оболочку с выходом, а затем bash, чтобы внести изменения в переменные среды и обновить версию, используемую OCaml.

Теперь вы готовы начать Real World OCaml - наслаждайтесь! Это дает вам цикл REPL в bash, что хорошо для обучения. Однако для более серьезных программ вам нужно написать файл.ml. Следующая часть (в скором времени) охватывает создание с использованием среды bash OCaml из редактора кода GUI в окнах, например Visual Studio Code.

Ответ 3

Windows 10 CygWin64 стандартного инструментария C для Windows 10 OCaml 4.02.3 + BuckleScript-1 ** Спецификация/интерпретатор WebAssembly , компиляция из источника OPam

установить CygWin 64-bit setup-x86_64.exe
- выберите свой путь (далее сокращенно cwd), все остальное только по умолчанию или далее
- переместите установщик на cwd

установите необходимые пакеты для стандартного набора инструментов C из командной строки windows cmd

cwd>setup-x86_64.exe -q -P wget -P gcc-g++ -P make -P diffutils -P libmpfr-devel -P libgmp-devel -P libmpc-devel

изменить cwd/home\username\.bash_profile, добавить

export SHELLOPTS
set -o igncr

начать через Icon Терминал Cygwin64

выберите путь для установки BuckleScript git (далее сокращенно bwd)

cd /cygdrive/bwd
git config --global core.eol lf
git config --global core.autocrlf false
git clone --recursive https://github.com/bloomberg/bucklescript

(клонирование в /cygdrive/bwd/bucklescript)

редактировать /cygdrive/bwd/bucklescript/.gittattribute, добавить

* text=auto  

выберите путь для компилятора OCaml (далее сокращенно owd)

настроить и сделать

cd /cygdrive/owd/bucklescript/ocaml
./configure -prefix /owd
make world.opt
make install

установить OPam

создать переключатель (открыть вопрос, дождаться ответа)
откомпилировать bsc.exe (открыть вопрос, дождаться ответа)
установить интерпретатор спецификации WebAssembly (переключение WASM WAST)

выпускать WebAssembly/spec/interpreter/1052

... должен быть завершен!