GNUmakefile

   1 # ---------
   2 # ocaml env
   3 # ---------
   4 OCAML_FLAGS?=-w @a-4-6-7-9-26-27-29
   5 OCAMLCC_FLAGS?=-ccopt -Werror -ccopt -Wall -ccopt -Wextra
   6 OCAMLCC_D_FLAGS?=-ccopt -Wno-error
   7 override OCAMLDEP_FLAGS:=-ml-synonym .cmi -ml-synonym .mll
   8 export OCAMLRUNPARAM
   9
  10 # --------
  11 # make env
  12 # --------
  13 camlcase=$(shell pack=$(1); printf %c $${pack} | tr '[a-z]' '[A-Z]'; printf %s $${pack\#?})
  14 flock=flock $1 $2 -c "$(subst ",\",$(subst \,\\,$3))"
  15 flocks=$(if $2,$(call \
  16         flock,$1,$(firstword $2),$(call \
  17                 flocks,$1,$(wordlist 2,$(words $2),$2),$3)),$3)
  18 GNUmakefile.inc?=GNUmakefile.inc
  19 if_arg=$(if $2,$1 $2)
  20 is_parallel=$(findstring j,$(value MAKEFLAGS))
  21 map=$(foreach x,$2,$(call $1,$x))
  22 mul=$(foreach p,$1,$(foreach s,$2,$p$s))
  23 rev=$(if $1,$(call \
  24         rev,$(wordlist 2,$(words $1),$1))) $(firstword $1)
  25 ,:=,
  26 .SECONDARY:
  27 .SUFFIXES:
  28         MAKEFLAGS += -r
  29 .SHELLFLAGS += -e
  30
  31 # -----
  32 # clean
  33 # -----
  34 rmw=$(call if_arg,rm,$(wildcard $1))
  35 clean+=$(or   $(filter c,$(MAKECMDGOALS)),$(filter  %/c,$(MAKECMDGOALS)),$(filter  clean,$(MAKECMDGOALS)),$(filter   %/clean,$(MAKECMDGOALS)))
  36 cleaner+=$(or $(filter cc,$(MAKECMDGOALS)),$(filter %/cc,$(MAKECMDGOALS)),$(filter cleaner,$(MAKECMDGOALS)),$(filter %/cleaner,$(MAKECMDGOALS)))
  37 LIBOCAML_MAKE_NO_DEPS+=$(or $(clean),$(cleaner))
  38 %.ml/clean: %.mll
  39         $(call rmw,$(@:/clean=))
  40 %.ml/clean:
  41
  42 %.o/clean:
  43         $(call rmw,$(@:/clean=) $*.s $(if $(cleaner),$*.d))
  44 %.a/clean:
  45         $(call rmw,$(@:/clean=))
  46 %.cm/clean: %.ml/clean
  47         $(call rmw,$*.cmo $*.cmx $*.cmxs $*.o $*.s $*.startup.s $*.cmi $(if $(cleaner),$*.d))
  48 %.ca/clean:
  49         $(call rmw,$*.cma $*.cmxa $*.a)
  50 %.cb/clean:
  51         $(call rmw,$*.byte $*.native)
  52
  53 # ---------------------
  54 # ocaml GNUmakefile.inc
  55 # ---------------------
  56 define make_GNUmakefile.inc
  57 d       := $(or $1,.)
  58 dir_ptr := $$(dir_ptr).level
  59 dirstack_$$(dir_ptr) := $$d
  60
  61 Pack := $$(if $$(Pack),$$(Pack).)$$(call camlcase,$$(notdir $$d))
  62
  63 targets :=
  64
  65 include $1/$(GNUmakefile.inc)
  66
  67 ifeq ($$(LIBOCAML_MAKE_NO_DEPS),)
  68 -include $$(wildcard $$(o:.o=.d) $$(cm:.cm=.d))
  69 endif
  70
  71 dirs := $$(filter-out $1,$$(patsubst %/.,%,$$(wildcard $$(patsubst %,%/.,$$(basename $$(targets))))))
  72
  73 $1/c  $1/clean:   clean:=clean
  74 $1/cc $1/cleaner: cleaner:=cleaner
  75 $1/b  $1/byte:    byte:=byte
  76 $1/n  $1/native:  native:=native
  77 $1/b  $1/all:     byte:=byte
  78 $1/n  $1/all:     native:=native
  79
  80 # NOTE: no .PHONY: to trigger %/clean
  81 $1/c  $1/clean:   $$(addsuffix /clean,$$(targets))
  82 $1/cc $1/cleaner: $1/clean
  83
  84 ifeq ($$(LIBOCAML_MAKE_NO_DEPS),)
  85 targets := $$(foreach t,$$(targets), \
  86         $$t \
  87         $$(if $$(filter %.o,$$t)$$(filter %.cm,$$t) \
  88          ,$$(if $$(wildcard $$(basename $$t)),,$$(basename $$t).d)))
  89 endif
  90
  91 $1/b  $1/byte:        $$(patsubst %.cb,%.byte,  $$(patsubst %.ca,%.cma, $$(patsubst %.cm,%.cmo,$$(targets))))
  92 $1/n  $1/native:      $$(patsubst %.cb,%.native,$$(patsubst %.ca,%.cmxa,$$(patsubst %.cm,%.cmx,$$(targets))))
  93 $1/n  $1/all:         $1/byte $1/native
  94 $1/xb $1/exec-byte:   $$(cb:.cb=.byte.exec)
  95 $1/xn $1/exec-native: $$(cb:.cb=.native.exec)
  96
  97 Pack := $$(basename $$(Pack))
  98
  99 $$(foreach d,$$(dirs), \
 100   $$(eval $1/c  $1/clean:       $$d/clean) \
 101   $$(eval $1/cc $1/cleaner:     $$d/cleaner) \
 102   $$(eval $1/b  $1/byte:        $$d/byte) \
 103   $$(eval $1/n  $1/native:      $$d/native) \
 104   $$(eval $1/xb $1/exec-native: $$d/exec-byte) \
 105   $$(eval $1/xn $1/exec-byte:   $$d/exec-native) \
 106   $$(eval $$(call make_GNUmakefile.inc,$$d,$2)))
 107
 108 d       := $$(dirstack_$$(dir_ptr))
 109 dir_ptr := $$(basename $$(dir_ptr))
 110
 111 endef
 112 include_GNUmakefile.inc = $(eval $(call make_GNUmakefile.inc,$(or $1,.),$2))
 113
 114 # ----------
 115 # ocaml deps
 116 # ----------
 117 %.d: %.ml
 118         errnos=`{ { ocamlfind ocamldep $(OCAMLDEP_FLAGS) $(OCAML_DEPS_FLAGS) $< || echo >&3 0:$$?; } | \
 119         { sed >$@ -e 's/^[^ ]*\.cmx/&s \\\\\n&/' -e 's/ :/:/' || echo >&3 1:$$?; } \
 120         } 3>&1` && [ -z "$$errnos" ] || { rm $@ && false; }
 121
 122 # ------------
 123 # ocaml object
 124 # ------------
 125 o=$(filter %.o,$(targets))
 126 %.o: %.c
 127         ocamlfind ocamlc -ccopt -o -ccopt $@ -c $(OCAML_FLAGS) $(OCAMLCC_FLAGS) $(if $(DEBUG),-ccopt -Wa$(,)-aln=$*.s) $(filter %.c,$^)
 128 %.d: %.c
 129         ocamlfind ocamlc -ccopt -o -ccopt $@ -c -nostdlib -ccopt -MM -ccopt -MT"$@\\ $(@:d=o)" -ccopt -MF$@ $(OCAML_FLAGS) $(OCAMLCC_FLAGS) $(OCAMLCC_D_FLAGS) $<
 130
 131 # -----------
 132 # ocaml lexer
 133 # -----------
 134 %.ml: %.mll
 135         ocamllex $<
 136         touch -r $< $@ # NOTE: to avoid rebuilding %.d
 137
 138 # ------------
 139 # ocaml module
 140 # ------------
 141 cm=$(filter %.cm,$(targets))
 142 lock_ro_cmi=$(if $(and $(byte),$(native),$(is_parallel)),$(call \
 143         flocks,-s,$(patsubst %.cmx,%.cmi,$(patsubst %.cmo,%.cmi, \
 144                 $(filter %.cmi,$^) $(filter %.cmo,$^) $(filter %.cmx,$^))),$1),$1)
 145 lock_rw_cmi=$(if $(and $(byte),$(native),$(is_parallel)),$(call \
 146         flock,-x,$*.cmi,$(call \
 147                 flocks,-s,$(patsubst %.cmx,%.cmi,$(patsubst %.cmo,%.cmi, \
 148                         $(filter %.cmi,$^) $(filter %.cmo,$^) $(filter %.cmx,$^))),$1)),$1)
 149 %.cmo %.cmi: %.ml
 150         $(call lock_rw_cmi,ocamlfind ocamlc -c $(OCAML_FLAGS) $(OCAML_DEPS_FLAGS) $(OCAMLC_FLAGS) $(filter %.ml,$^))
 151 %.cmx %cmi %.o: %.ml
 152         $(call lock_rw_cmi,ocamlfind ocamlopt -o $*.cmx -c $(OCAML_FLAGS) $(OCAML_DEPS_FLAGS) $(OCAMLOPT_FLAGS) $(filter %.ml,$^))
 153 %.cmxs %.cmx %.cmi %.o: %.ml
 154         $(call lock_rw_cmi,ocamlfind ocamlopt -shared -o $*.cmxs $(OCAML_FLAGS) $(OCAML_DEPS_FLAGS) $(OCAMLOPT_FLAGS) $(filter %.ml,$^))
 155
 156 # ----------
 157 # ocaml pack
 158 # ----------
 159 %.cmo %.cmi: %/$(GNUmakefile.inc)
 160         $(call lock_rw_cmi,ocamlfind ocamlc -pack -o $*.cmo $(OCAML_FLAGS) $(OCAMLC_FLAGS) $(OCAMLC_PACK_FLAGS) $(filter %.cmo,$^))
 161 %.cmx %.cmi %.o: %/$(GNUmakefile.inc)
 162         $(call lock_rw_cmi,ocamlfind ocamlopt -pack -o $*.cmx $(OCAML_FLAGS) $(OCAMLOPT_FLAGS) $(OCAMLOPT_PACK_FLAGS) $(filter %.cmx,$^))
 163
 164 # --------------
 165 # object archive
 166 # --------------
 167 o_of_a=$(patsubst %,$(1:.a=)/%,$(filter %.o,$(shell ar t $1))) $(call map,o_of_a,$(patsubst %,$(1:.a=)/%,$(filter %.a,$(shell ar t $1))))
 168 a=$(filter %.a,$(targets))
 169 %.a:
 170         $(call flock,-x,$(dir $*),ar cSru$(AR_FLAGS) $@ $(call \
 171                 map,o_of_a,$(filter %.a,$^)) $(filter %.o,$^) && ranlib $(RANLIB_FLAGS) $@)
 172 dll%.so: CC=$(shell ocamlfind ocamlc -config | sed -ne 's/^native_c_compiler: *//p')
 173 dll%.so: lib%.a
 174         $(CC) -o $@ -shared $(filter %.o,$(shell ar t $<))
 175
 176 # -------------
 177 # ocaml archive
 178 # -------------
 179 ca=$(filter %.ca,$(targets))
 180 %.cma:
 181         $(call lock_ro_cmi,ocamlfind ocamlc -a -o $@ $(OCAML_FLAGS) $(OCAMLC_FLAGS) $(OCAML_ARCH_FLAGS) $(OCAMLC_ARCH_FLAGS) $(filter %.cmo,$^))
 182 %.cmxa:
 183         $(call lock_ro_cmi,ocamlfind ocamlopt -a -o $@ $(OCAML_FLAGS) $(OCAMLOPT_FLAGS) $(OCAML_ARCH_FLAGS) $(OCAMLOPT_ARCH_FLAGS) $(filter %.cmx,$^))
 184
 185 # ------------
 186 # ocaml binary
 187 # ------------
 188 cb=$(filter %.cb,$(targets))
 189 %.byte:
 190         $(call lock_ro_cmi,ocamlfind ocamlc -o $@ -linkpkg $(OCAML_FLAGS) $(OCAML_DEPS_FLAGS) $(OCAMLC_FLAGS) $(OCAML_BIN_FLAGS) $(OCAMLC_BIN_FLAGS) $(filter %.cmo,$^))
 191 %.native:
 192         $(call lock_ro_cmi,ocamlfind ocamlopt -o $@ -linkpkg $(OCAML_FLAGS) $(OCAML_DEPS_FLAGS) $(OCAMLOPT_FLAGS) $(OCAML_BIN_FLAGS) $(OCAMLOPT_BIN_FLAGS) $(filter %.cmx,$^))
 193
 194 # -----------------
 195 # binary capability
 196 # -----------------
 197 %.caps: setcap=$(shell PATH="$$PATH:/sbin"; which setcap)
 198 %.caps: %
 199         $(if $(caps),[ ! -x "$(setcap)" ] || $(setcap) "$(caps)" $*)
 200
 201 # ----------------
 202 # binary execution
 203 # ----------------
 204 .PHONY: %.byte.exec %.native.exec
 205 %.byte.exec: %.byte
 206         PATH=".:$$PATH"; \
 207         $< $(EXEC_FLAGS) $(EXEC_BYTE_FLAGS)
 208 %.native.exec: %.native
 209         PATH=".:$$PATH"; \
 210         $< $(EXEC_FLAGS) $(EXEC_NATIVE_FLAGS)
 211
 212 # ---------------
 213 # ocaml debugging
 214 # ---------------
 215 .PHONY: debug
 216 export DEBUG
 217 debug: $(filter-out debug,$(MAKECMDGOALS))
 218 debug: override OCAML_FLAGS+=-verbose
 219 debug: override OCAMLC_FLAGS+=-g -principal
 220 debug: override OCAMLCC_FLAGS+=-ccopt -ggdb3
 221 debug: override OCAMLDEP_FLAGS+=-verbose
 222 debug: override OCAMLOPT_FLAGS+=-ccopt -ggdb3
 223 debug: override OCAMLRUNPARAM+=b
 224 debug: override DEBUG:=debug