Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
24 commits
Select commit Hold shift + click to select a range
ca31255
Added some packages required for Project Everest
wintersteiger Jan 26, 2018
f94bb1d
Fixed ctypes-windows.0.11.0, added ctypes-windows.0.13.1.
wintersteiger Jan 26, 2018
0fc6dc3
Fixed integers-windows.0.2.2.
wintersteiger Jan 26, 2018
e668510
Fixed ppx_deriving-windows.4.2.1
wintersteiger Jan 26, 2018
0469dd1
A sundry of fixes for batteries, cppo_ocamlbuild, menhir, ulex, and z…
wintersteiger Jan 28, 2018
3a31e67
Uninstall fix for sqlite3
wintersteiger Jan 28, 2018
d97cb63
Added ppx_tools-windows
wintersteiger Jan 28, 2018
6260578
Fixed dependencies of ulex-windows
wintersteiger Jan 28, 2018
773426b
Added sedlex-windows
wintersteiger Jan 28, 2018
f3c524a
Some minor fixes
wintersteiger Jan 28, 2018
45fb8e0
Removal/uninstall cleanliness fix for ocaml-windows64.
wintersteiger Jan 28, 2018
5ff6a96
Added ocamlfind-windows. Fixed ppx_tools-windows and ppx_deriving-win…
wintersteiger Jan 28, 2018
83d1f99
Fix for ppx_deriving_yojson-windows
wintersteiger Jan 29, 2018
96828f0
Dependency fix for ulex-windows
wintersteiger Jan 29, 2018
5f3d6cd
Added patch for ppx_deriving_yojson-windows
wintersteiger Jan 29, 2018
550ce8c
Fixed incorrect relocation of findlib.conf.d/windows.conf
wintersteiger Jan 29, 2018
84b16a4
Ocamlfind uninstall fix
wintersteiger Jan 29, 2018
bc16f7c
Dependency fix for sedlex-windows
wintersteiger Jan 29, 2018
27fc16d
dependency fixes
wintersteiger Jan 29, 2018
450a099
Merge branch 'everest-win-pkgs' of https://github.com/wintersteiger/o…
wintersteiger Jan 29, 2018
2530071
Fixed installation of cppo-windows, cppo_ocamlbuild-windows
wintersteiger Jan 29, 2018
36503be
depdency fix for ppx_deriving_yojson
wintersteiger Jan 29, 2018
47411aa
Added visitors-windows
wintersteiger Jan 29, 2018
eb35c0a
Fix for wasm-windows.
wintersteiger Jan 30, 2018
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions packages/batteries-windows/batteries-windows.2.8.0/descr
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
a community-maintained standard library extension
Original file line number Diff line number Diff line change
@@ -0,0 +1,42 @@
Only in batteries-2.8.0-mine: _build
diff -crB batteries-2.8.0/Makefile batteries-2.8.0-mine/Makefile
*** batteries-2.8.0/Makefile 2018-01-27 20:24:55.902964300 +0000
--- batteries-2.8.0-mine/Makefile 2018-01-27 20:25:35.072742500 +0000
***************
*** 107,123 ****

man: all batteries.odocl
-mkdir man
! ocamlfind ocamldoc -package threads.posix -sort -man -hide-warnings -d man -I _build/libs -I _build/src libs/uniclib.mli src/*.mli

install: all uninstall_packages
! ocamlfind install $(NAME) $(INSTALL_FILES) \
-optional $(OPT_INSTALL_FILES)

test_install:
./scripts/test_install.sh

uninstall_packages:
! ocamlfind remove $(NAME)

uninstall: uninstall_packages
${RM} -r $(DOCROOT)
--- 107,123 ----

man: all batteries.odocl
-mkdir man
! ocamlfind -toolchain windows ocamldoc -package threads.posix -sort -man -hide-warnings -d man -I _build/libs -I _build/src libs/uniclib.mli src/*.mli

install: all uninstall_packages
! ocamlfind -toolchain windows install $(NAME) $(INSTALL_FILES) \
-optional $(OPT_INSTALL_FILES)

test_install:
./scripts/test_install.sh

uninstall_packages:
! ocamlfind -toolchain windows remove $(NAME)

uninstall: uninstall_packages
${RM} -r $(DOCROOT)
Only in batteries-2.8.0-mine: setup.data
34 changes: 34 additions & 0 deletions packages/batteries-windows/batteries-windows.2.8.0/opam
Original file line number Diff line number Diff line change
@@ -0,0 +1,34 @@
opam-version: "1.2"
name: "batteries-windows"
version: "2.8.0"
maintainer: "[email protected]"
authors: "OCaml batteries-included team"
homepage: "http://batteries.forge.ocamlcore.org/"
bug-reports:"https://github.com/ocaml-batteries-team/batteries-included/issues"
dev-repo: "https://github.com/ocaml-batteries-team/batteries-included.git"
license: "LGPL-2.1+ with OCaml linking exception"
doc: "http://ocaml-batteries-team.github.io/batteries-included/hdoc2/"
build: [
["env" "OCAMLFIND_TOOLCHAIN=windows"
"ocaml" "setup.ml" "-configure"
"--prefix" "%{prefix}%/windows-sysroot"
"--override" "ext_dll" ".dll"]
]
install: [
"env" "OCAMLBUILDFLAGS=-no-links -use-ocamlfind -ocamlopt '-toolchain windows ocamlopt' -ocamldep '-toolchain windows ocamldep'"
"env" "BATTERIES_NATIVE_SHLIB=no"
make "all" "install" "-j" jobs
]
remove: ["ocamlfind" "-toolchain" "windows" "remove" "batteries"]
depends: [
"ocamlfind" {>= "1.5.3"}
"ocamlfind-windows" {>= "1.5.3"}
"ocamlbuild" {build}
"qtest" {test & >= "2.5"}
"qcheck" {test & >= "0.6"}
"bisect" {test}
"num"
"ocaml-windows"
]
available: [ocaml-version >= "3.12.1" & ocaml-version < "4.07.0"]
patches: ["batteries-2.8.0-windows.patch"]
3 changes: 3 additions & 0 deletions packages/batteries-windows/batteries-windows.2.8.0/url
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
http:
"https://github.com/ocaml-batteries-team/batteries-included/releases/download/v2.8.0/batteries-2.8.0.tar.gz"
checksum: "2d9a811dcb47bae9f1159676d880a46b"
10 changes: 10 additions & 0 deletions packages/camlp4-windows/camlp4-windows.4.04+1/descr
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
Camlp4 is a system for writing extensible parsers for programming languages

It provides a set of OCaml libraries that are used to define grammars as well
as loadable syntax extensions of such grammars. Camlp4 stands for Caml
Preprocessor and Pretty-Printer and one of its most important applications is
the definition of domain-specific extensions of the syntax of OCaml.

Camlp4 was part of the official OCaml distribution until its version 4.01.0.
Since then it has been replaced by a simpler system which is easier to maintain
and to learn: ppx rewriters and extension points.
26 changes: 26 additions & 0 deletions packages/camlp4-windows/camlp4-windows.4.04+1/opam
Original file line number Diff line number Diff line change
@@ -0,0 +1,26 @@
opam-version: "1.2"
maintainer: "[email protected]"
name: "camlp4-windows"
version: "4.04+1"
homepage: "https://github.com/ocaml/camlp4"
bug-reports: "https://github.com/ocaml/camlp4/issues"
dev-repo: "https://github.com/ocaml/camlp4.git"
license: "LGPLv2"
build: [
["./configure" "--bindir=%{prefix}%/windows-sysroot/bin" "--libdir=%{prefix}%/windows-sysroot/lib/ocaml" "--pkgdir=%{prefix}%/windows-sysroot/lib"]
["env" "OCAMLFIND_TOOLCHAIN=windows" make "all"]
]
install: ["env" "OCAMLFIND_TOOLCHAIN=windows" make "install" "install-META"]
depends: ["ocaml-windows" "ocamlfind" {build}]
remove: [
["rm" "-rf" "%{prefix}%/windows-sysroot/lib/camlp4"]
["rm" "-f" "%{prefix}%/windows-sysroot/bin/camlp4" "%{prefix}%/windows-sysroot/bin/camlp4boot" "%{prefix}%/windows-sysroot/bin/mkcamlp4"
"%{prefix}%/windows-sysroot/bin/camlp4r" "%{prefix}%/windows-sysroot/bin/camlp4rf" "%{prefix}%/windows-sysroot/bin/camlp4orf"
"%{prefix}%/windows-sysroot/bin/camlp4o" "%{prefix}%/windows-sysroot/bin/camlp4of" "%{prefix}%/windows-sysroot/bin/camlp4oof"
"%{prefix}%/windows-sysroot/bin/camlp4prof" "%{prefix}%/windows-sysroot/bin/camlp4rf.opt" "%{prefix}%/windows-sysroot/bin/camlp4orf.opt"
"%{prefix}%/windows-sysroot/bin/camlp4o.opt" "%{prefix}%/windows-sysroot/bin/camlp4oof.opt" "%{prefix}%/windows-sysroot/bin/camlp4r.opt"
]
]
depexts: [
[ ["centos"] ["which"] ]
]
2 changes: 2 additions & 0 deletions packages/camlp4-windows/camlp4-windows.4.04+1/url
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
archive: "https://github.com/ocaml/camlp4/archive/4.04+1.tar.gz"
checksum: "305f61ffd98c4c03eb0d9b7749897e59"
1 change: 1 addition & 0 deletions packages/cppo-windows/cppo-windows.1.6.0/descr
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
Equivalent of the C preprocessor for OCaml programs
19 changes: 19 additions & 0 deletions packages/cppo-windows/cppo-windows.1.6.0/opam
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
opam-version: "1.2"
maintainer: "[email protected]"
authors: ["Martin Jambon"]
name: "cppo-windows"
version: "1.6.0"
homepage: "http://mjambon.com/cppo.html"
dev-repo: "https://github.com/mjambon/cppo.git"
bug-reports: "https://github.com/mjambon/cppo/issues"
license: "BSD-3-Clause"
build: [
["jbuilder-windows" "subst"] {pinned}
["jbuilder-windows" "build" "-p" "cppo" "-x" "windows" "-j" jobs "--install-prefix" "windows-sysroot"]
]
depends: [
"ocaml-windows"
"jbuilder-windows" {build & >= "1.0+beta10"}
"base-bytes"
"base-unix"
]
2 changes: 2 additions & 0 deletions packages/cppo-windows/cppo-windows.1.6.0/url
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
archive: "https://github.com/mjambon/cppo/archive/v1.6.0.tar.gz"
checksum: "aee411b3546bc5d198c71ae9185cade4"
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
ocamlbuild support for cppo, OCaml-friendly source preprocessor
Original file line number Diff line number Diff line change
@@ -0,0 +1,23 @@
opam-version: "1.2"
maintainer: "[email protected]"
authors: ["Martin Jambon"]
name: "cppo_ocamlbuild-windows"
version: "1.6.0"
homepage: "http://mjambon.com/cppo.html"
bug-reports: "https://github.com/mjambon/cppo/issues"
license: "BSD-3-Clause"
build: [
["jbuilder-windows" "subst"] {pinned}
["jbuilder-windows" "build" "-p" "cppo_ocamlbuild" "-x" "windows" "-j" jobs "--install-prefix" "windows-sysroot"]
]
depends: [
"ocaml-windows"
"jbuilder-windows" {build & >= "1.0+beta10"}
"ocamlbuild-windows"

# Earlier versions of cppo (opam package) used to install
# cppo_ocamlbuild (ocamlfind package).
# Requiring cppo >= 1.6 ensures we don't install it twice.
"cppo-windows" {>= "1.6.0"}
]

Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
archive: "https://github.com/mjambon/cppo/archive/v1.6.0.tar.gz"
checksum: "aee411b3546bc5d198c71ae9185cade4"
Original file line number Diff line number Diff line change
@@ -1,10 +1,13 @@
opam-version: "1.2"
maintainer: "[email protected]"
build: [
["sh" "-c" "echo \"libffi_opt=$(%{conf-gcc-windows:prefix}%pkg-config --cflags libffi)\" >>libffi.config"]
["sh" "-c" "echo \"libffi_lib=$(%{conf-gcc-windows:prefix}%pkg-config --libs libffi)\" >>libffi.config"]
["sh" "-c" "echo \"libffi_opt=$(%{conf-gcc-windows:prefix}%pkg-config --cflags libffi)\" >>libffi.config"] {ctypes-foreign-windows:installed}
["sh" "-c" "echo \"libffi_lib=$(%{conf-gcc-windows:prefix}%pkg-config --libs libffi)\" >>libffi.config"] {ctypes-foreign-windows:installed}
["touch" "libffi.config"] {!ctypes-foreign-windows:installed}
[make "OCAMLFIND=ocamlfind -toolchain windows" "HOSTOCAMLFIND=ocamlfind"
"ctypes-base" "ctypes-stubs" "ctypes-foreign"]
"ctypes-base" "ctypes-stubs" ]
[make "OCAMLFIND=ocamlfind -toolchain windows" "HOSTOCAMLFIND=ocamlfind"
"ctypes-foreign" ] {ctypes-foreign-windows:installed}
]
install: [
[make "OCAMLFIND=ocamlfind -toolchain windows" "install"]
Expand Down
18 changes: 18 additions & 0 deletions packages/ctypes-windows/ctypes-windows.0.13.1/descr
Original file line number Diff line number Diff line change
@@ -0,0 +1,18 @@
Combinators for binding to C libraries without writing any C.

ctypes is a library for binding to C libraries using pure OCaml. The primary
aim is to make writing C extensions as straightforward as possible.

The core of ctypes is a set of combinators for describing the structure of C
types -- numeric types, arrays, pointers, structs, unions and functions. You
can use these combinators to describe the types of the functions that you want
to call, then bind directly to those functions -- all without writing or
generating any C!

To install the optional `ctypes.foreign` interface (which uses `libffi` to
provide dynamic access to foreign libraries), you will need to also install
the `ctypes-foreign` optional dependency:

opam install ctypes ctypes-foreign

This will make the `ctypes.foreign` ocamlfind subpackage available.
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
as_needed_flags=
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
libffi_available=true
1 change: 1 addition & 0 deletions packages/ctypes-windows/ctypes-windows.0.13.1/findlib
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
ctypes
26 changes: 26 additions & 0 deletions packages/ctypes-windows/ctypes-windows.0.13.1/opam
Original file line number Diff line number Diff line change
@@ -0,0 +1,26 @@
opam-version: "1.2"
maintainer: "[email protected]"
build: [
["sh" "-c" "echo \"libffi_opt=$(%{conf-gcc-windows:prefix}%pkg-config --cflags libffi)\" >>libffi.config"] {ctypes-foreign-windows:installed}
["sh" "-c" "echo \"libffi_lib=$(%{conf-gcc-windows:prefix}%pkg-config --libs libffi)\" >>libffi.config"] {ctypes-foreign-windows:installed}
["touch" "libffi.config"] {!ctypes-foreign-windows:installed}
[make "OCAMLFIND=ocamlfind -toolchain windows" "HOSTOCAMLFIND=ocamlfind"
"ctypes-base" "ctypes-stubs" ]
[make "OCAMLFIND=ocamlfind -toolchain windows" "HOSTOCAMLFIND=ocamlfind"
"ctypes-foreign" ] {ctypes-foreign-windows:installed}
]
install: [
[make "OCAMLFIND=ocamlfind -toolchain windows" "install"]
]
remove: [
["ocamlfind" "-toolchain" "windows" "remove" "ctypes"]
]
depends: [
"conf-gcc-windows"
"ocaml-windows"
"ocamlfind" {build}
"integers-windows"
]
depexts: [
[["mxe"] ["libffi"]]
]
2 changes: 2 additions & 0 deletions packages/ctypes-windows/ctypes-windows.0.13.1/url
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
archive: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.13.1.tar.gz"
checksum: "0e1b70d28b5b9adc8c4596d9f4dff5b9"
1 change: 1 addition & 0 deletions packages/fileutils-windows/fileutils-windows.0.5.3/descr
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
Functions to manipulate real file (POSIX like) and filename.
27 changes: 27 additions & 0 deletions packages/fileutils-windows/fileutils-windows.0.5.3/opam
Original file line number Diff line number Diff line change
@@ -0,0 +1,27 @@
opam-version: "1.2"
maintainer: "Sylvain Le Gall <[email protected]>"
authors: [ "Sylvain Le Gall" ]
name: "fileutils-windows"
version: "0.5.3"
homepage: "http://ocaml-fileutils.forge.ocamlcore.org/"
license: "LGPL-2.1 with OCaml linking exception"
dev-repo: "https://github.com/gildor478/ocaml-fileutils.git"
bug-reports: "https://github.com/gildor478/ocaml-fileutils/issues"
build: [
["env" "OCAMLFIND_TOOLCHAIN=windows" "ocaml" "setup.ml" "-configure" "--prefix" "%{prefix}%/windows-sysroot"]
["env" "OCAMLFIND_TOOLCHAIN=windows" "ocaml" "setup.ml" "-build"]
]
install: ["env" "OCAMLFIND_TOOLCHAIN=windows" "ocaml" "setup.ml" "-install"]
remove: [
["ocamlfind" "-toolchain" "windows" "remove" "fileutils"]
]
build-doc: [ "ocaml" "setup.ml" "-doc" ]
depends: [
"ocaml-windows"
"base-unix"
"base-bytes"
"ocamlbuild-windows" {build}
"ocamlfind" {build}
"ounit" {test & >= "2.0.0"}
]
available: os != "win32"
2 changes: 2 additions & 0 deletions packages/fileutils-windows/fileutils-windows.0.5.3/url
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
archive: "https://forge.ocamlcore.org/frs/download.php/1728/ocaml-fileutils-0.5.3.tar.gz"
checksum: "9b719b19b96525004c88bf7bc846fa1d"
1 change: 1 addition & 0 deletions packages/fix-windows/fix-windows.20130611/descr
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
a least fixed point computation library, using an efficient imperative algorithm
12 changes: 12 additions & 0 deletions packages/fix-windows/fix-windows.20130611/opam
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
opam-version: "1"
maintainer: "[email protected]"
name: "fix-windows"
version: "20130611"
build: ["env" "OCAMLFIND_TOOLCHAIN=windows" make]
remove: [["ocamlfind" "-toolchain" "windows" "remove" "fix"]]
depends: [
"ocaml-windows"
"ocamlfind" {build}
"ocamlbuild-windows" {build}
]
install: ["env" "OCAMLFIND_TOOLCHAIN=windows" make "install"]
2 changes: 2 additions & 0 deletions packages/fix-windows/fix-windows.20130611/url
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
archive: "http://gallium.inria.fr/~fpottier/fix/fix-20130611.tar.gz"
checksum: "056dec3341ef008458fa722ebf2e3c57"
4 changes: 4 additions & 0 deletions packages/gen-windows/gen-windows.0.5/descr
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
Simple and efficient iterators (modules Gen and GenLabels).

Now provides additional modules GenClone and GenMList for lower-level control
over persistency and duplication of iterators.
27 changes: 27 additions & 0 deletions packages/gen-windows/gen-windows.0.5/opam
Original file line number Diff line number Diff line change
@@ -0,0 +1,27 @@
opam-version: "1.2"
maintainer: "[email protected]"
author: "Simon Cruanes"
name: "gen-windows"
version: "0.5"
build: [
["env" "OCAMLFIND_TOOLCHAIN=windows" "./configure" "--disable-docs" "--disable-tests" "--disable-bench" "--prefix" "%{prefix}%/windows-sysroot"]
["env" "OCAMLFIND_TOOLCHAIN=windows" make "all"]
]
install: [
["env" "OCAMLFIND_TOOLCHAIN=windows"make "install"]
]
remove: [
["ocamlfind" "-toolchain" "windows" "remove" "gen"]
]
depends: [
"ocaml-windows"
"ocamlfind" {build}
"ocamlfind-windows"
"ocamlbuild" {build}
"base-bytes"
]
tags: [ "gen" "iterator" "iter" "fold" ]
homepage: "https://github.com/c-cube/gen/"
doc: "http://cedeela.fr/~simon/software/gen/"
bug-reports: "https://github.com/c-cube/gen/issues"
dev-repo: "https://github.com/c-cube/gen.git"
2 changes: 2 additions & 0 deletions packages/gen-windows/gen-windows.0.5/url
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
http: "https://github.com/c-cube/gen/archive/0.5.tar.gz"
checksum: "521a106f9d200ca71635fa5887535436"
1 change: 1 addition & 0 deletions packages/integers-windows/integers-windows.0.2.2/descr
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
Various signed and unsigned integer types for OCaml
27 changes: 27 additions & 0 deletions packages/integers-windows/integers-windows.0.2.2/opam
Original file line number Diff line number Diff line change
@@ -0,0 +1,27 @@
version: "0.2.2"
opam-version: "1.2"
name: "integers-windows"
maintainer: "[email protected]"
authors: ["Jeremy Yallop"
"Demi Obenour"
"Stephane Glondu"
"Andreas Hauptmann"]
homepage: "https://github.com/ocamllabs/ocaml-integers"
bug-reports: "https://github.com/ocamllabs/ocaml-integers/issues"
dev-repo: "https://github.com/ocamllabs/ocaml-integers.git"
license: "MIT"
build:
[[ "ocaml" "pkg/pkg.ml" "build"
"--pinned" "%{pinned}%"
"--toolchain" "windows"
"--pkg-name" "integers"]]
install: [["opam-installer" "--prefix=%{prefix}%/windows-sysroot" "integers.install"]]
remove: [["ocamlfind" "-toolchain" "windows" "remove" "integers"]]
depends: [
"ocaml-windows"
"ocamlbuild-windows" {build}
"ocamlfind" {build}
"topkg" {build}
]

doc: "http://ocamllabs.github.io/ocaml-integers/api.docdir/"
2 changes: 2 additions & 0 deletions packages/integers-windows/integers-windows.0.2.2/url
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
archive: "https://github.com/ocamllabs/ocaml-integers/releases/download/v0.2.2/integers-0.2.2.tbz"
checksum: "ae226532930965fe0b43c02f2469cadc"
1 change: 1 addition & 0 deletions packages/menhir-windows/menhir-windows.20171222/descr
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
LR(1) parser generator
Loading