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