Giter Site home page Giter Site logo

emmajanebonestell / opam-repository-mingw Goto Github PK

View Code? Open in Web Editor NEW

This project forked from fdopen/opam-repository-mingw

0.0 0.0 0.0 50.18 MB

windows package repository for OPAM (mingw and msvc)

Home Page: https://fdopen.github.io/opam-repository-mingw/

License: Creative Commons Zero v1.0 Universal

Shell 41.49% OCaml 41.76% Roff 15.69% C 1.06%

opam-repository-mingw's Introduction

opam mingw repository

An opam repository for windows - including an experimental build of opam for windows (of course, you still need cygwin for nearly everything: a shell interpreter to run configure scripts, git, rsync, ...)

Discontinuation

This repo will soon be discontinued.

Homepage

There is now a small homepage with installation instructions and usage information: https://fdopen.github.io/opam-repository-mingw/ - and a graphical installer that automates the steps listed below.

Esy

Esy also supports Windows. If you are not already familar with opam from Linux / OS X and don't want to change your habits, give it a try first.

Summary

Download

The archives contain native versions of opam, flexdll and aspcud. They are all not linked against cygwin1.dll, so you can use them with either the 32-bit or 64-bit version of cygwin.

Installation

  • First install cygwin and a few additionals packages: rsync, patch, diffutils, curl, make, unzip, git, m4, perl, and of course mingw64-i686-gcc-core and/or mingw64-x86_64-gcc-core.

  • If your logon name contains whitespace characters (e.g. 'Firstname Lastname') or any other character that would require quoting inside a unix shell or cmd.exe, follow the instructions at https://www.cygwin.com/faq.html#faq.setup.name-with-space

  • Then proceed inside a cygwin shell:

$ tar -xf 'opam32.tar.xz' # or tar -xf 'opam64.tar.xz'
$ bash opam32/install.sh  # --prefix /usr/foo, the default prefix is /usr/local
                          # maybe you have to add /usr/local/bin to your PATH
$ opam init default "https://github.com/fdopen/opam-repository-mingw.git#opam2" -c "ocaml-variants.4.07.1+mingw32" --disable-sandboxing
# or, if you prefer the 64-bit version - 'opam switch -a' will list other supported versions
$ opam init default "https://github.com/fdopen/opam-repository-mingw.git#opam2" -c "ocaml-variants.4.07.1+mingw64" --disable-sandboxing
$ eval $(ocaml-env cygwin)

Things to remember

  • Add /usr/i686-w64-mingw32/sys-root/mingw/bin (or /usr/x86_64-w64-mingw32/sys-root/mingw/bin) to your $PATH, if you use depext-cygwinports

  • Consider to use windows symlinks inside cygwin: export CYGWIN='winsymlinks:native'. Otherwise ocamlbuild and many build and test scripts will create symlinks, that are only understood by cygwin tools, but not by the OCaml compiler and other native windows programs. (Usually only adminstrators are allowed to create symlinks. But you can change the default settings, see this post for details)

opam-repository-mingw's People

Contributors

fdopen avatar kit-ty-kate avatar smorimoto avatar mseri avatar bbc2 avatar phated avatar sim642 avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.