conda-forge / ocaml-feedstock Goto Github PK

View Code? Open in Web Editor NEW

1.0 6.0 11.0 67 KB

A conda-smithy repository for ocaml.

License: BSD 3-Clause "New" or "Revised" License

Shell 100.00%

ocaml-feedstock's Introduction

About ocaml

Home: https://ocaml.org/

Package license: LGPL-2.1-only WITH OCaml-LGPL-linking-exception

Feedstock license: BSD-3-Clause

Summary: Objective Caml (OCaml) is an implementation of the ML language.

Development: https://github.com/ocaml/ocaml

Documentation: https://ocaml.org/docs/

OCaml is an implementation of the ML language, based on the Caml Light dialect extended with a complete class-based object system and a powerful module system in the style of Standard ML.

OCaml comprises two compilers. One generates bytecode which is then interpreted by a C program. This compiler runs quickly, generates compact code with moderate memory requirements, and is portable to essentially any 32 or 64 bit Unix platform. Performance of generated programs is quite good for a bytecoded implementation. This compiler can be used either as a standalone, batch-oriented compiler that produces standalone programs, or as an interactive, toplevel-based system.

The other compiler generates high-performance native code for a number of processors. Compilation takes longer and generates bigger code, but the generated programs deliver excellent performance, while retaining the moderate memory requirements of the bytecode compiler.

Current build status

Azure

Variant	Status
linux_64
osx_64

Current release info

Name	Downloads	Version	Platforms

Installing ocaml

Installing ocaml from the conda-forge channel can be achieved by adding conda-forge to your channels with:

conda config --add channels conda-forge

Once the conda-forge channel has been enabled, ocaml can be installed with:

conda install ocaml

It is possible to list all of the versions of ocaml available on your platform with:

conda search ocaml --channel conda-forge

About conda-forge

conda-forge is a community-led conda channel of installable packages. In order to provide high-quality builds, the process has been automated into the conda-forge GitHub organization. The conda-forge organization contains one repository for each of the installable packages. Such a repository is known as a feedstock.

A feedstock is made up of a conda recipe (the instructions on what and how to build the package) and the necessary configurations for automatic building using freely available continuous integration services. Thanks to the awesome service provided by CircleCI, AppVeyor and TravisCI it is possible to build and upload installable packages to the conda-forge Anaconda-Cloud channel for Linux, Windows and OSX respectively.

To manage the continuous integration and simplify feedstock maintenance conda-smithy has been developed. Using the conda-forge.yml within this repository, it is possible to re-render all of this feedstock's supporting files (e.g. the CI configuration files) with conda smithy rerender.

For more information please check the conda-forge documentation.

Terminology

feedstock - the conda recipe (raw material), supporting scripts and CI configuration.

conda-smithy - the tool which helps orchestrate the feedstock. Its primary use is in the construction of the CI .yml files and simplify the management of many feedstocks.

conda-forge - the place where the feedstock and smithy live and work to produce the finished article (built conda distributions)

Updating ocaml-feedstock

If you would like to improve the ocaml recipe or build a new package version, please fork this repository and submit a PR. Upon submission, your changes will be run on the appropriate platforms to give the reviewer an opportunity to confirm that the changes result in a successful build. Once merged, the recipe will be re-built and uploaded automatically to the conda-forge channel, whereupon the built conda packages will be available for everybody to install and use from the conda-forge channel. Note that all branches in the conda-forge/ocaml-feedstock are immediately built and any created packages are uploaded, so PRs should be based on branches in forks and branches in the main repository should only be used to build distinct package versions.

In order to produce a uniquely identifiable distribution:

If the version of a package is not being increased, please add or increase the build/number.
If the version of a package is being increased, please remember to return the build/number back to 0.

Feedstock Maintainers

ocaml-feedstock's People

Contributors

Stargazers

Watchers

Forkers

regro-cf-autotick-bot peterjc conda-forge-linter xhochy isuruf zimmi48 bollwyvl lithomas1 mottelet zklaus jjerphan

ocaml-feedstock's Issues

segmentation fault on macOS

Issue:

Trying to build hevea fails on macOS, this is a reduced test case:

$ touch empty.ml
$ ocaml empty.ml 
Segmentation fault: 11

Or just:

$ ocaml
Segmentation fault: 11

Note ocamlbuild seems to at least run:

$ ocamlbuild --version
ocamlbuild 0.13.1

Environment (conda list):

$ conda list | grep ocaml
ocaml                     4.06.1            h1de35cc_1007    conda-forge
ocamlbuild                0.13.1               h0b31af3_0    conda-forge

$ conda list
# packages in environment at /Users/pc40583/miniconda3:
#
# Name                    Version                   Build  Channel
alabaster                 0.7.12                     py_0    conda-forge
appdirs                   1.4.3                    pypi_0    pypi
aspy-yaml                 1.3.0                    pypi_0    pypi
attrs                     19.3.0                   pypi_0    pypi
babel                     2.8.0                      py_0    conda-forge
backports-lzma            0.0.14                   pypi_0    pypi
biopython                 1.77.dev0                pypi_0    pypi
black                     19.10b0                  pypi_0    pypi
bleach                    3.1.5                    pypi_0    pypi
brotlipy                  0.7.0           py37h9bfed18_1000    conda-forge
bzip2                     1.0.8                h0b31af3_2    conda-forge
ca-certificates           2020.6.20            hecda079_0    conda-forge
cairo                     1.16.0            hec6a9b0_1003    conda-forge
cctools                   927.0.2              h5ba7a2e_4    conda-forge
certifi                   2020.6.20        py37hc8dfbb8_0    conda-forge
cffi                      1.14.0           py37h356ff06_0    conda-forge
cfgv                      3.0.0                    pypi_0    pypi
chardet                   3.0.4           py37hc8dfbb8_1006    conda-forge
clang                     9.0.1           default_hf57f61e_0    conda-forge
clang-tools               9.0.1           default_hf57f61e_0    conda-forge
clang_osx-64              9.0.1                h05bbb7f_0    conda-forge
clangxx                   9.0.1           default_hf57f61e_0    conda-forge
click                     7.0                      pypi_0    pypi
clustalw                  2.1                  h770b8ee_5    bioconda
compiler-rt               9.0.1                h6a512c6_3    conda-forge
compiler-rt_osx-64        9.0.1                h99342c6_3    conda-forge
conda                     4.8.3            py37hc8dfbb8_1    conda-forge
conda-package-handling    1.6.0            py37h9bfed18_2    conda-forge
cryptography              2.9.2            py37he655712_0    conda-forge
cutadapt                  2.9              py37h01d97ff_0    bioconda
cycler                    0.10.0                   pypi_0    pypi
dbus                      1.13.6               h2f22bb5_0    conda-forge
decorator                 4.4.1                    pypi_0    pypi
distlib                   0.3.0                    pypi_0    pypi
dnaio                     0.4.2            py37h01d97ff_0    bioconda
docutils                  0.16             py37hc8dfbb8_1    conda-forge
dos2unix                  7.4.1                         0    conda-forge
emacs                     26.3                 hbef3d92_2    conda-forge
entrypoints               0.3                      pypi_0    pypi
expat                     2.2.9                h4a8c4bd_2    conda-forge
fastp                     0.20.0               hd9629dc_0    bioconda
fftw                      3.3.8           nompi_h44ae4c8_1111    conda-forge
filelock                  3.0.12                   pypi_0    pypi
flake8                    3.8.1                    pypi_0    pypi
flake8-assertive          1.2.1                    pypi_0    pypi
flake8-black              0.1.1                    pypi_0    pypi
flake8-blind-except       0.1.1                    pypi_0    pypi
flake8-bugbear            20.1.4                   pypi_0    pypi
flake8-comprehensions     3.2.2                    pypi_0    pypi
flake8-docstrings         1.5.0                    pypi_0    pypi
flake8-implicit-str-concat 0.1.0                    pypi_0    pypi
flake8-rst-docstrings     0.0.14                   pypi_0    pypi
flash                     1.2.11               h2573ce8_5    bioconda
font-ttf-dejavu-sans-mono 2.37                 hab24e00_0    conda-forge
font-ttf-inconsolata      2.001                hab24e00_0    conda-forge
font-ttf-source-code-pro  2.030                hab24e00_0    conda-forge
font-ttf-ubuntu           0.83                 hab24e00_0    conda-forge
fontconfig                2.13.1            h6b1039f_1001    conda-forge
fonts-conda-forge         1                             0    conda-forge
freetype                  2.10.2               h8da9a1a_0    conda-forge
fribidi                   1.0.9                h0b31af3_0    conda-forge
gdk-pixbuf                2.38.2               h306395f_4    conda-forge
gettext                   0.19.8.1          h46ab8bc_1002    conda-forge
ghostscript               9.22              h0a44026_1001    conda-forge
giflib                    5.2.1                h0b31af3_2    conda-forge
glib                      2.64.2               h577aef8_0    conda-forge
gmp                       6.2.0                h4a8c4bd_2    conda-forge
gnutls                    3.6.5             h53004b3_1002    conda-forge
gobject-introspection     1.64.1           py37hed9d58a_1    conda-forge
graphite2                 1.3.13            h12caacf_1001    conda-forge
graphviz                  2.42.3               h98dfb87_0    conda-forge
harfbuzz                  2.4.0                hd8d2a14_3    conda-forge
hmmer                     3.3                  h6de7cb9_0    bioconda
icu                       64.2                 h6de7cb9_1    conda-forge
identify                  1.4.11                   pypi_0    pypi
idna                      2.9                        py_1    conda-forge
imagemagick               7.0.10_21       pl526h8e597e9_0    conda-forge
imagesize                 1.2.0                      py_0    conda-forge
importlib-metadata        1.5.0                    pypi_0    pypi
jbig                      2.1               h0b31af3_2002    conda-forge
jinja2                    2.11.2             pyh9f0ad1d_0    conda-forge
jpeg                      9d                   h0b31af3_0    conda-forge
keyring                   21.2.1                   pypi_0    pypi
kiwisolver                1.1.0                    pypi_0    pypi
ld64                      450.3                h3c32e8a_4    conda-forge
libcroco                  0.6.13               h9035b8d_1    conda-forge
libcxx                    10.0.0               h1af66ff_2    conda-forge
libffi                    3.2.1             h4a8c4bd_1007    conda-forge
libgfortran               4.0.0                         2    conda-forge
libiconv                  1.15              h0b31af3_1006    conda-forge
libidn2                   2.3.0                h0b31af3_0    conda-forge
libllvm9                  9.0.1                h7475705_1    conda-forge
libpng                    1.6.37               hbbe82c9_1    conda-forge
librsvg                   2.49.2               h1ccd86b_0    conda-forge
libtiff                   4.1.0                h2ae36a8_6    conda-forge
libunistring              0.9.10               h1de35cc_0    conda-forge
libwebp                   1.1.0                hd3bf737_4    conda-forge
libwebp-base              1.1.0                h0b31af3_3    conda-forge
libxcb                    1.13              h1de35cc_1002    conda-forge
libxml2                   2.9.10               h53d96d6_0    conda-forge
llvm-openmp               10.0.0               h28b9765_0    conda-forge
lz4-c                     1.9.2                h4a8c4bd_1    conda-forge
markupsafe                1.1.1            py37h9bfed18_1    conda-forge
matplotlib                3.1.3                    pypi_0    pypi
mccabe                    0.6.1                    pypi_0    pypi
ncurses                   6.1               h0a44026_1002    conda-forge
nettle                    3.4.1             h3efe00b_1002    conda-forge
networkx                  2.4                      pypi_0    pypi
nodeenv                   1.3.5                    pypi_0    pypi
numpy                     1.18.1                   pypi_0    pypi
ocaml                     4.06.1            h1de35cc_1007    conda-forge
ocamlbuild                0.13.1               h0b31af3_0    conda-forge
openjdk                   11.0.1            hbbe82c9_1018    conda-forge
openjpeg                  2.3.1                h254dc36_3    conda-forge
openssl                   1.1.1g               h0b31af3_0    conda-forge
packaging                 20.3                     pypi_0    pypi
pandoc                    2.9.2.1                       0    conda-forge
pango                     1.42.4               haa940fe_4    conda-forge
pathspec                  0.7.0                    pypi_0    pypi
pcre                      8.44                 h4a8c4bd_0    conda-forge
perl                      5.26.2            haec8ef5_1006    conda-forge
pigz                      2.3.4                hbbe82c9_1    conda-forge
pillow                    7.1.2                    pypi_0    pypi
pip                       20.1               pyh9f0ad1d_0    conda-forge
pixman                    0.38.0            h01d97ff_1003    conda-forge
pkg-config                0.29.2            hdc84dc8_1006    conda-forge
pkginfo                   1.5.0.1                  pypi_0    pypi
pluggy                    0.13.1                   pypi_0    pypi
plumbum                   1.6.9                    pypi_0    pypi
ply                       3.11                     pypi_0    pypi
pre-commit                2.0.1                    pypi_0    pypi
pthread-stubs             0.4               h1de35cc_1001    conda-forge
py                        1.8.1                    pypi_0    pypi
pycairo                   1.19.1           py37h4e38901_3    conda-forge
pycodestyle               2.6.0                    pypi_0    pypi
pycosat                   0.6.3           py37h9bfed18_1004    conda-forge
pycparser                 2.20                       py_0    conda-forge
pydocstyle                5.0.2                    pypi_0    pypi
pydot                     1.4.1                    pypi_0    pypi
pyflakes                  2.2.0                    pypi_0    pypi
pygments                  2.6.1                      py_0    conda-forge
pyopenssl                 19.1.0                     py_1    conda-forge
pyparsing                 2.4.6                    pypi_0    pypi
pysocks                   1.7.1            py37hc8dfbb8_1    conda-forge
python                    3.7.6                h5c2c468_2    conda-forge
python-dateutil           2.8.1                    pypi_0    pypi
python-igraph             0.8.2            py37h6048d33_0    conda-forge
python-levenshtein        0.12.0                   pypi_0    pypi
python.app                1.2             py37h0b31af3_1201    conda-forge
python_abi                3.7                     1_cp37m    conda-forge
pytz                      2020.1             pyh9f0ad1d_0    conda-forge
pyyaml                    5.3                      pypi_0    pypi
readline                  8.0                  hcfe32e1_0    conda-forge
readme-renderer           26.0                     pypi_0    pypi
regex                     2020.1.8                 pypi_0    pypi
reportlab                 3.5.42                   pypi_0    pypi
requests                  2.23.0             pyh8c360ce_2    conda-forge
requests-toolbelt         0.9.1                    pypi_0    pypi
restructuredtext-lint     1.3.0                    pypi_0    pypi
rstcheck                  3.3.1                    pypi_0    pypi
ruamel_yaml               0.15.80         py37h9bfed18_1001    conda-forge
setuptools                46.3.0           py37hc8dfbb8_0    conda-forge
sh                        1.13.1                   pypi_0    pypi
six                       1.14.0                     py_1    conda-forge
snowballstemmer           2.0.0                      py_0    conda-forge
sphinx                    3.1.1                      py_0    conda-forge
sphinx-rtd-theme          0.5.0                    pypi_0    pypi
sphinxcontrib-applehelp   1.0.2                      py_0    conda-forge
sphinxcontrib-devhelp     1.0.2                      py_0    conda-forge
sphinxcontrib-htmlhelp    1.0.3                      py_0    conda-forge
sphinxcontrib-jsmath      1.0.1                      py_0    conda-forge
sphinxcontrib-qthelp      1.0.3                      py_0    conda-forge
sphinxcontrib-serializinghtml 1.1.4                      py_0    conda-forge
sqlalchemy                1.3.13                   pypi_0    pypi
sqlite                    3.30.1               h93121df_0    conda-forge
swarm                     2.2.2                h04f5b5a_2    bioconda
tapi                      1000.10.8            ha1b3eb9_4    conda-forge
texttable                 1.6.2                      py_0    conda-forge
thapbi-pict               0.6.7                     dev_0    <develop>
tk                        8.6.10               hbbe82c9_0    conda-forge
toml                      0.10.0                   pypi_0    pypi
tox                       3.15.0                   pypi_0    pypi
tqdm                      4.46.0             pyh9f0ad1d_0    conda-forge
trimmomatic               0.39                          1    bioconda
twine                     3.1.1                    pypi_0    pypi
typed-ast                 1.4.1                    pypi_0    pypi
unzip                     6.0                  h01d97ff_0    conda-forge
urllib3                   1.25.9                     py_0    conda-forge
virtualenv                20.0.20                  pypi_0    pypi
webencodings              0.5.1                    pypi_0    pypi
wget                      1.20.1               h33e2efd_0    conda-forge
wheel                     0.34.2                     py_1    conda-forge
xlsxwriter                1.2.7                    pypi_0    pypi
xopen                     0.9.0            py37hc8dfbb8_0    conda-forge
xorg-kbproto              1.0.7             h1de35cc_1002    conda-forge
xorg-libice               1.0.10               h01d97ff_0    conda-forge
xorg-libsm                1.2.3             h01d97ff_1000    conda-forge
xorg-libx11               1.6.9                h0b31af3_0    conda-forge
xorg-libxau               1.0.9                h1de35cc_0    conda-forge
xorg-libxdmcp             1.1.3                h01d97ff_0    conda-forge
xorg-libxext              1.3.4                h01d97ff_0    conda-forge
xorg-libxrender           0.9.10            h01d97ff_1002    conda-forge
xorg-libxt                1.2.0                h01d97ff_0    conda-forge
xorg-renderproto          0.11.1            h1de35cc_1002    conda-forge
xorg-xextproto            7.3.0             h1de35cc_1002    conda-forge
xorg-xproto               7.0.31            h1de35cc_1007    conda-forge
xsv                       0.13.0                        0    conda-forge
xz                        5.2.5                h0b31af3_0    conda-forge
yaml                      0.2.4                h0b31af3_0    conda-forge
zipp                      2.2.0                    pypi_0    pypi
zlib                      1.2.11            h0b31af3_1006    conda-forge
zstd                      1.4.4                h4b3e974_3    conda-forge

Details about conda and system ( conda info ):

$ conda info

     active environment : base
    active env location : /Users/xxx/miniconda3
            shell level : 1
       user config file : /Users/xxx/.condarc
 populated config files : /Users/xxx/.condarc
          conda version : 4.8.3
    conda-build version : not installed
         python version : 3.7.6.final.0
       virtual packages : __osx=10.15.5
       base environment : /Users/xxx/miniconda3  (writable)
           channel URLs : https://conda.anaconda.org/conda-forge/osx-64
                          https://conda.anaconda.org/conda-forge/noarch
                          https://conda.anaconda.org/bioconda/osx-64
                          https://conda.anaconda.org/bioconda/noarch
                          https://repo.anaconda.com/pkgs/main/osx-64
                          https://repo.anaconda.com/pkgs/main/noarch
                          https://repo.anaconda.com/pkgs/r/osx-64
                          https://repo.anaconda.com/pkgs/r/noarch
          package cache : /Users/xxx/miniconda3/pkgs
                          /Users/xxx/.conda/pkgs
       envs directories : /Users/xxx/miniconda3/envs
                          /Users/xxx/.conda/envs
               platform : osx-64
             user-agent : conda/4.8.3 requests/2.23.0 CPython/3.7.6 Darwin/19.5.0 OSX/10.15.5
                UID:GID : 501:20
             netrc file : None
           offline mode : False

ocamldebug and ocamldoc crash

See logs on #2,

https://circleci.com/gh/conda-forge/ocaml-feedstock/4?utm_campaign=vcs-integration-link&utm_medium=referral&utm_source=github-build-link
Linux CircleCI,

$ ocamldebug -version
Fatal error: exception Failure("input_value: unknown custom block identifier")

https://travis-ci.org/conda-forge/ocaml-feedstock/builds/363182681?utm_source=github_status&utm_medium=notification
macOS, TravisCI,

$ ocamldebug -version
/Users/travis/miniconda3/conda-bld/ocaml_1523031087918/test_tmp/run_test.sh: line 7: 33648 Segmentation fault: 11  ocamldebug -version

https://travis-ci.org/conda-forge/ocaml-feedstock/builds/363190382?utm_source=github_status&utm_medium=notification
macOS, TravisCI,

$ ocamldoc -version
/Users/travis/miniconda3/conda-bld/ocaml_1523032262217/test_tmp/run_test.sh: line 8: 33653 Segmentation fault: 11  ocamldoc -version

Review opam proposal?

@Zimmi48 and @isuruf, I'd like to request your review of the opam conda-forge recipe I propose in conda-forge/staged-recipes#18110 (forgive me for opening an issue here, I don't think I can @ you in that PR—please feel free to close this issue as soon as needed).

Update for conda-build 3

@conda-forge-admin, please update for conda-build 3

(This is the likely vain hope that the new build system might solve #3)

Windows build?

I would love to see ocaml build with conda on win32 and win64 platforms, because I happen to have this particular use case. I am pretty new to the conda ecosystem, so if there is any instruction on what can I do to help I would greatly appreciate it. 😄

Recommend Projects

React

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

🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript

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

An Open Source Machine Learning Framework for Everyone
Django

The Web framework for perfectionists with deadlines.
Laravel

A PHP framework for web artisans
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.
Visualization

Some thing interesting about visualization, use data art
Game

Some thing interesting about game, make everyone happy.

Recommend Org

Facebook

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

Open source projects and samples from Microsoft.
Google

Google ❤️ Open Source for everyone.
Alibaba

Alibaba Open Source for everyone
D3

Data-Driven Documents codes.
Tencent

China tencent open source team.