| Age | Commit message (Collapse) | Author |
|
|
|
See https://github.com/ocaml/opam/issues/1853 : not passing the flags to ./configure
generates an OCaml compiler that compiles for the current arch, breaking bottles of
projects compiled using OCaml on older CPUs.
Closes #36482.
Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
|
|
|
|
This hack probably should have been removed at
e995ddde8e8186f8fd9651f3d6fe69546544692e.
|
|
|
|
|
|
|
|
This disables the little-used Graphics module by default, but leaves
it installable via a `--with-x11` option in the package.
|
|
Closes #33617.
Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
|
|
Closes #33614.
|
|
Closes #33607.
Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
|
|
Version bump & Closes #33596.
|
|
|
|
|
|
Annoyingly ocaml will fail unless you add X11 paths if it finds it
itself.
Needed after fix in e640026a9d8a4ddba2da2047921813d1df2df357.
|
|
Closes #28096.
|
|
|
|
|
|
|
|
References #27611.
|
|
This reverts commit 925b0700b9841313c2693f564bd1440750aed73d.
|
|
References #27611.
|
|
|
|
Recent versions of clang fail with a hard error if -fno-defer-pop is
specified, and older versions warn. This patch fixes the OCaml
configure script to not pass this option as it hasn't been necessary
for decades.
See ocaml/opam#1242
Closes #27611.
Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
|
|
|
|
|
|
Closes #22492.
Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
|
|
Closes #22343.
Signed-off-by: Jack Nagel <jacknagel@gmail.com>
|
|
|
|
This can be optionally linked via the `-runtime-variant d` compiler flag.
Closes #15520.
Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
|
|
References #15359.
|
|
* remove the patch (integrated upstream)
* remove compiler-libs installation (also now standard with ocaml since 4.00.0)
Closes #15359.
Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
|
|
|
|
This patch removes most of the settings for CC, CXX etc. because we are trying to be minimal. Then we force the compiler to Homebrew's choice underneath in superenv. We however leave LD because we prefer that build-systems use the c-compiler for linking, it generally works better (copiously tested), however when the build-system explicitly calls ld, we respect that. This gets around the ocaml bug in question, since somehow clang was crashing during link, but the ld tool itself (which is kind of clang, kind of llvm-gcc) is okay with this.
Also moved the setting of O (so that cc-args are refurbished) into a make wrapper. Not sure if this matter much, but seems more consistent.
|
|
Discovered by superenv, which removes explicitly removes X11 paths, and
needs this to add them back.
Signed-off-by: Jack Nagel <jacknagel@gmail.com>
|
|
Signed-off-by: Jack Nagel <jacknagel@gmail.com>
|
|
Signed-off-by: Jack Nagel <jacknagel@gmail.com>
|
|
Closes #14506.
Signed-off-by: Jack Nagel <jacknagel@gmail.com>
|
|
Lion
Closes #13913.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
Closes #12741.
Signed-off-by: Austin Seipp <mad.one@gmail.com>
Signed-off-by: Jack Nagel <jacknagel@gmail.com>
|
|
When interpolating in strings passed to Formula#system, it should be
done in such a way that if any interpolated variables contain spaces,
they are either (a) passed as part of a list or (b) protected by quotes
if they are part of a long string (which is subject to shell expansion).
Otherwise, they will be split on the space when expanded by the shell
and passed as multiple arguments to whatever process is being executed.
Signed-off-by: Jack Nagel <jacknagel@gmail.com>
|
|
|
|
Add new fixes from #10175.
|
|
There are some optional libraries built by the compiler that are used by
3rd party packages to create interactive toplevels. Debian installs the
optional files in lib/ocaml/compiler-libs, so this commit follows the
same convention.
Closes #10175.
Signed-off-by: Jack Nagel <jacknagel@gmail.com>
|
|
Closes #9841.
|
|
Ocaml packages that need to install here will cause the site-lib
directory to be created, and the symlink in the ocaml keg will work as
intended. This is necessary for the ocaml bottle to work properly.
Signed-off-by: Jack Nagel <jacknagel@gmail.com>
|
|
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
|
|
Closes #3863.
|
|
|