annotate src/ocaml-native.mk @ 2837:efb8519157c2

package ocaml-native: disable parallel building due to failures
author Mark Brand <mabrand@mabrand.nl>
date Tue, 30 Oct 2012 23:26:45 +0100
parents fe0a6e45513f
children 100e618349f7
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2834
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
1 # This file is part of mingw-cross-env.
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
2 # See doc/index.html for further information.
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
3
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
4 # zlib
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
5 PKG := ocaml-native
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
6 $(PKG)_IGNORE :=
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
7 $(PKG)_CHECKSUM := 9653e76dd14f0fbb750d7b438415890ab9fe2f4e
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
8 $(PKG)_SUBDIR := ocaml-$($(PKG)_VERSION)
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
9 $(PKG)_FILE := ocaml-$($(PKG)_VERSION).tar.gz
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
10 $(PKG)_URL := http://caml.inria.fr/pub/distrib/ocaml-4.00/$($(PKG)_FILE)
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
11 $(PKG)_DEPS := gcc
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
12
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
13 define $(PKG)_UPDATE
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
14 wget -q -O- 'http://caml.inria.fr/pub/distrib/ocaml-3.12' | \
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
15 $(SED) -n 's,.*ocaml-\([0-9][^>]*\)\.tar.*,\1,ip' | \
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
16 tail -1
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
17 endef
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
18
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
19 define $(PKG)_BUILD
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
20 # patched ocaml source to get ocamlbuild use $(TARGET)-ocamlc, $(TARGET)-ocamlfind, ...
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
21 cd '$(1)' && ./configure \
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
22 -prefix '$(PREFIX)/$(TARGET)' \
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
23 -bindir '$(PREFIX)/$(TARGET)/bin/ocaml-native' \
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
24 -libdir '$(PREFIX)/$(TARGET)/lib/ocaml-native' \
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
25 -no-tk \
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
26 -no-shared-libs \
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
27 -verbose
2837
efb8519157c2 package ocaml-native: disable parallel building due to failures
Mark Brand <mabrand@mabrand.nl>
parents: 2834
diff changeset
28 $(MAKE) -C '$(1)' -j 1 world opt
2834
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
29 $(SED) -i "s,@target@,$(TARGET),g" $(1)/ocamlbuild/options.ml
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
30 $(SED) -i "s,@target@,$(TARGET),g" $(1)/ocamlbuild/findlib.ml
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
31 $(MAKE) -C '$(1)' -j '$(JOBS)' ocamlbuild.native
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
32 cp -f '$(1)/_build/ocamlbuild/ocamlbuild.native' $(PREFIX)/bin/$(TARGET)-ocamlbuild
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
33 $(MAKE) -C '$(1)' install
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
34 # the following script requires ocamlbuild with option -ocamlfind to work
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
35 #(echo '#!/bin/sh'; \
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
36 # echo 'exec $(PREFIX)/bin/ocamlbuild -use-ocamlfind -ocamlfind $(TARGET)-ocamlfind "$$@"') \
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
37 # > '$(PREFIX)/bin/$(TARGET)-ocamlbuild'
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
38 #chmod 0755 '$(PREFIX)/bin/$(TARGET)-ocamlbuild'
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
39 # test will be done once cross ocamlopt is built
fe0a6e45513f add package ocaml-native
William <r.3@libertysurf.fr>
parents:
diff changeset
40 endef