matitaB/matita/Makefile

   1 export SHELL=/bin/bash
   2
   3 include ../Makefile.defs
   4
   5 NULL =
   6 H=@
   7
   8 ifeq ($(ANNOT),true)
   9   ANNOTOPTION = -dtypes
  10 else
  11   ANNOTOPTION =
  12 endif
  13
  14 OCAML_FLAGS = -pp $(CAMLP5O) -rectypes $(ANNOTOPTION)
  15 OCAMLDEP_FLAGS = -pp $(CAMLP5O)
  16 PKGS = -package "$(MATITA_REQUIRES)"
  17 CPKGS = -package "$(MATITA_CREQUIRES)"
  18 WPKGS = -package "$(MATITA_WREQUIRES)"
  19 OCAML_THREADS_FLAGS = -thread
  20 OCAML_DEBUG_FLAGS = -g
  21 #OCAML_PROF=p -p a
  22 #OCAMLOPT_DEBUG_FLAGS = -p
  23 OCAMLC_FLAGS = $(OCAML_FLAGS) $(OCAML_THREADS_FLAGS)
  24 OCAMLC = $(OCAMLFIND) ocamlc$(OCAML_PROF) $(OCAMLC_FLAGS) $(OCAML_DEBUG_FLAGS) $(SYNTAXOPTIONS)
  25 OCAMLTOP = $(OCAMLFIND) ocamlmktop$(OCAML_PROF) $(OCAMLC_FLAGS) $(OCAML_DEBUG_FLAGS) $(SYNTAXOPTIONS)
  26 OCAMLOPT = $(OCAMLFIND) opt $(OCAMLC_FLAGS) $(OCAMLOPT_DEBUG_FLAGS) $(SYNTAXOPTIONS)
  27 OCAMLDEP = $(OCAMLFIND) ocamldep $(OCAMLDEP_FLAGS)
  28 INSTALL_PROGRAMS= matita matitac
  29 INSTALL_PROGRAMS_LINKS_MATITA=
  30 INSTALL_PROGRAMS_LINKS_MATITAC= matitaclean
  31 MY_SYNTAXOPTIONS = -pp "camlp5o -I $(UTF8DIR) -I $(ULEXDIR) pa_extend.cmo pa_ulex.cma pa_unicode_macro.cma -loc loc"
  32
  33
  34 MATITA_FLAGS = -noprofile
  35 NODB=false
  36 ifeq ($(NODB),true)
  37         MATITA_FLAGS += -nodb
  38 endif
  39
  40 MLI = \
  41         matitaScriptLexer.mli   \
  42         lablGraphviz.mli        \
  43         matitaTypes.mli         \
  44         matitaMisc.mli          \
  45         applyTransformation.mli \
  46         matitaEngine.mli        \
  47         matitaExcPp.mli         \
  48         matitaInit.mli          \
  49         matitaGtkMisc.mli       \
  50         virtuals.mli            \
  51         cicMathView.mli         \
  52         predefined_virtuals.mli \
  53         matitaMathView.mli      \
  54         matitaScript.mli        \
  55         $(NULL)
  56 CMLI =                          \
  57         matitaTypes.mli         \
  58         matitaMisc.mli          \
  59         applyTransformation.mli \
  60         matitaEngine.mli        \
  61         matitaExcPp.mli         \
  62         matitaInit.mli          \
  63         $(NULL)
  64 WMLI =                          \
  65         matitaTypes.mli         \
  66         matitaMisc.mli          \
  67         applyTransformation.mli \
  68         matitaEngine.mli        \
  69         matitaExcPp.mli         \
  70         matitaInit.mli          \
  71         matitaFilesystem.mli    \
  72         matitaAuthentication.mli \
  73         $(NULL)
  74 MAINCMLI =                      \
  75         matitaclean.mli         \
  76         $(NULL)
  77 # objects for matita (GTK GUI)
  78 ML = buildTimeConf.ml matitaGeneratedGui.ml $(MLI:%.mli=%.ml)
  79 # objects for matitac (batch compiler)
  80 CML = buildTimeConf.ml $(CMLI:%.mli=%.ml)
  81 WML = buildTimeConf.ml $(WMLI:%.mli=%.ml)
  82 MAINCML = $(MAINCMLI:%.mli=%.ml)
  83
  84 ALL_NORMAL_ML =                         \
  85                 applyTransformation.ml  \
  86                 matitaclean.ml          \
  87                 matitaFilesystem.ml     \
  88                 matitaMathView.ml       \
  89                 matitaTypes.ml          \
  90                 buildTimeConf.ml        \
  91                 matitac.ml              \
  92                 matitaGeneratedGui.ml   \
  93                 matitaMisc.ml           \
  94                 predefined_virtuals.ml  \
  95                 cicMathView.ml          \
  96                 matitadaemon.ml         \
  97                 matitaGtkMisc.ml        \
  98                 virtuals.ml             \
  99                 lablGraphviz.ml         \
 100                 matitaEngine.ml         \
 101                 matitaGui.ml            \
 102                 matitaAuthentication.ml \
 103                 matitaExcPp.ml          \
 104                 matitaInit.ml           \
 105                 matitaScript.ml
 106
 107 ALL_NORMAL_MLI =                                \
 108                 applyTransformation.mli  \
 109                 matitaclean.mli          \
 110                 matitaFilesystem.mli     \
 111                 matitaMathView.mli       \
 112                 matitaTypes.mli          \
 113                 matitaMisc.mli           \
 114                 predefined_virtuals.mli  \
 115                 cicMathView.mli          \
 116                 matitaGtkMisc.mli        \
 117                 virtuals.mli             \
 118                 lablGraphviz.mli         \
 119                 matitaEngine.mli         \
 120                 matitaGui.mli            \
 121                 matitaGuiTypes.mli       \
 122                 matitaScriptLexer.mli    \
 123                 matitaAuthentication.mli \
 124                 matitaExcPp.mli          \
 125                 matitaInit.mli           \
 126                 matitaScript.mli
 127
 128 ALL_SYNTAX_ML = matitaScriptLexer.ml
 129 ALL_SYNTAX_MLI = matitaScriptLexer.mli
 130
 131 PROGRAMS_BYTE = \
 132         matitac matitadaemon matitaclean
 133 PROGRAMS = $(PROGRAMS_BYTE)
 134 PROGRAMS_OPT = $(patsubst %,%.opt,$(PROGRAMS_BYTE))
 135 NOINST_PROGRAMS =
 136 NOINST_PROGRAMS_OPT = $(patsubst %,%.opt,$(EXTRA_PROGRAMS))
 137
 138 .PHONY: all
 139 all: $(PROGRAMS) $(NOINST_PROGRAMS)
 140
 141 UTF8DIR := $(shell $(OCAMLFIND) query helm-syntax_extensions)
 142 ULEXDIR := $(shell $(OCAMLFIND) query ulex08)
 143
 144 matitaScriptLexer.cmo: SYNTAXOPTIONS = $(MY_SYNTAXOPTIONS)
 145 matitaScriptLexer.cmx: SYNTAXOPTIONS = $(MY_SYNTAXOPTIONS)
 146
 147 matitaFilesystem.cmi: matitaFilesystem.mli
 148         $(H)echo "  OCAMLC $<"
 149         $(H)$(OCAMLC) $(WPKGS) -c $<
 150 matitaFilesystem.cmo: matitaFilesystem.ml
 151         $(H)echo "  OCAMLC $<"
 152         $(H)$(OCAMLC) $(WPKGS) -c $<
 153
 154 matitaAuthentication.cmi: matitaAuthentication.mli
 155         $(H)echo "  OCAMLC $<"
 156         $(H)$(OCAMLC) $(WPKGS) -c $<
 157 matitaAuthentication.cmo: matitaAuthentication.ml
 158         $(H)echo "  OCAMLC $<"
 159         $(H)$(OCAMLC) $(WPKGS) -c $<
 160 matitaAuthentication.cmx: matitaAuthentication.ml
 161         $(H)echo "  OCAMLOPT $<"
 162         $(H)$(OCAMLOPT) $(WPKGS) -c $<
 163
 164 CMOS = $(ML:%.ml=%.cmo)
 165 CCMOS = $(CML:%.ml=%.cmo)
 166 WCMOS = $(WML:%.ml=%.cmo)
 167 MAINCMOS = $(MAINCML:%.ml=%.cmo)
 168 CMXS = $(patsubst %.cmo,%.cmx,$(CMOS))
 169 CCMXS = $(patsubst %.cmo,%.cmx,$(CCMOS))
 170 WCMXS = $(patsubst %.cmo,%.cmx,$(WCMOS))
 171 MAINCMXS = $(patsubst %.cmo,%.cmx,$(MAINCMOS))
 172 $(CMOS) : $(LIB_DEPS)
 173 $(CMXOS): $(LIBX_DEPS)
 174
 175 LIB_DEPS := $(shell $(OCAMLFIND) query -recursive -predicates "byte" -format "%d/%a" $(MATITA_REQUIRES))
 176 LIBX_DEPS := $(shell $(OCAMLFIND) query -recursive -predicates "native" -format "%d/%a" $(MATITA_REQUIRES))
 177 CLIB_DEPS := $(shell $(OCAMLFIND) query -recursive -predicates "byte" -format "%d/%a" $(MATITA_CREQUIRES))
 178 CLIBX_DEPS := $(shell $(OCAMLFIND) query -recursive -predicates "native" -format "%d/%a" $(MATITA_CREQUIRES))
 179 WLIB_DEPS := $(shell $(OCAMLFIND) query -recursive -predicates "byte" -format "%d/%a" $(MATITA_WREQUIRES))
 180 WLIBX_DEPS := $(shell $(OCAMLFIND) query -recursive -predicates "native" -format "%d/%a" $(MATITA_WREQUIRES))
 181 opt: $(PROGRAMS_OPT) $(NOINST_PROGRAMS_OPT)
 182 upx: $(PROGRAMS_UPX)
 183 .PHONY: opt upx
 184
 185 ifeq ($(HAVE_OCAMLOPT),yes)
 186 world: depend.opt opt links
 187 else
 188 world: depend all
 189 endif
 190
 191 #links %.opt -> %
 192 links:
 193         $(H)for X in $(INSTALL_PROGRAMS_LINKS_MATITAC) \
 194                         $(INSTALL_PROGRAMS_LINKS_MATITA); do\
 195                 ln -sf $$X.opt $$X;\
 196         done
 197         $(H)ln -sf matita.opt matita
 198         $(H)ln -sf matitac.opt matitac
 199
 200 linkonly:
 201         $(H)echo "  OCAMLC matitac.ml"
 202         $(H)$(OCAMLC) $(CPKGS) -linkpkg -o matitac $(CCMOS) $(MAINCMOS) $(OCAML_DEBUG_FLAGS) matitac.ml
 203         $(H)echo "  OCAMLC matitadaemon.ml"
 204         $(H)$(OCAMLC) $(WPKGS) -linkpkg -o matitadaemon $(WCMOS) $(MAINCMOS) $(OCAML_DEBUG_FLAGS) matitadaemon.ml
 205
 206 .PHONY: linkonly
 207 matita: matita.ml $(LIB_DEPS) $(CMOS)
 208         $(H)echo "  OCAMLC $<"
 209         $(H)$(OCAMLC) $(PKGS) -linkpkg -o $@ $(CMOS) matita.ml
 210 matita.opt: matita.ml $(LIBX_DEPS) $(CMXS)
 211         $(H)echo "  OCAMLOPT $<"
 212         $(H)$(OCAMLOPT) $(PKGS) -linkpkg -o $@ $(CMXS) matita.ml
 213
 214 matitac: matitac.ml $(CLIB_DEPS) $(CCMOS) $(MAINCMOS)
 215         $(H)echo "  OCAMLC $<"
 216         $(H)$(OCAMLC) $(CPKGS) -linkpkg -o $@ $(CCMOS) $(MAINCMOS) matitac.ml
 217 matitac.opt: matitac.ml $(CLIBX_DEPS) $(CCMXS) $(MAINCMXS)
 218         $(H)echo "  OCAMLOPT $<"
 219         $(H)$(OCAMLOPT) $(CPKGS) -linkpkg -o $@ $(CCMXS) $(MAINCMXS) matitac.ml
 220
 221 matitadaemon: matitadaemon.ml $(WLIB_DEPS) $(WCMOS) $(MAINCMOS)
 222         $(H)echo "  OCAMLC $<"
 223         $(H)$(OCAMLC) $(WPKGS) -linkpkg -o $@ $(WCMOS) $(MAINCMOS) matitadaemon.ml
 224 matitadaemon.opt: matitadaemon.ml $(WLIBX_DEPS) $(WCMXS) $(MAINCMXS)
 225         $(H)echo "  OCAMLOPT $<"
 226         $(H)$(OCAMLOPT) $(WPKGS) -linkpkg -o $@ $(WCMXS) $(MAINCMXS) matitadaemon.ml
 227
 228 rottener: rottener.ml $(CLIB_DEPS) $(CCMOS) $(MAINCMOS)
 229         $(H)echo "  OCAMLC $<"
 230         $(H)$(OCAMLC) $(CPKGS) -package lablgtk2 -linkpkg -o $@ $(CCMOS) $(MAINCMOS) rottener.ml
 231 rottener.opt: rottener.ml $(CLIBX_DEPS) $(CCMXS) $(MAINCMXS)
 232         $(H)echo "  OCAMLOPT $<"
 233         $(H)$(OCAMLOPT) $(CPKGS) -package lablgtk2 -linkpkg -o $@ $(CCMXS) $(MAINCMXS) rottener.ml
 234 clean-rottened:
 235         find . -type f -name "*.ma.*.rottened" -exec rm {} \;
 236
 237 matitaclean: matitac
 238         $(H)test -f $@ || ln -s $< $@
 239 matitaclean.opt: matitac.opt
 240         $(H)test -f $@ || ln -s $< $@
 241
 242 matitaGeneratedGui.ml: matita.glade.utf8
 243         $(H)$(LABLGLADECC) -embed $< > matitaGeneratedGui.ml
 244
 245 matita.glade.utf8: matita.glade
 246         $(H)xmllint --encode UTF8 $< > $@
 247
 248 .PHONY: clean
 249 clean:
 250         $(H)rm -rf *.cma *.cmo *.cmi *.cmx *.cmxa *.a *.o \
 251                 $(PROGRAMS) $(PROGRAMS_OPT) \
 252                 rottener rottener.opt \
 253                 $(NOINST_PROGRAMS) $(NOINST_PROGRAMS_OPT) \
 254                 $(PROGRAMS_STATIC) \
 255                 $(PROGRAMS_UPX) \
 256                 *.stamp \
 257                 $(NULL)
 258
 259 .PHONY: distclean
 260 distclean: clean
 261         $(H)$(MAKE) -C dist/ clean
 262         $(H)rm -f matitaGeneratedGui.ml matitaGeneratedGui.mli
 263         $(H)rm -f buildTimeConf.ml
 264         $(H)rm -f matita.glade.bak matita.gladep.bak
 265         $(H)rm -f matita.conf.xml.sample
 266         $(H)rm -rf .matita
 267
 268 TEST_DIRS =                     \
 269         legacy                  \
 270         library                 \
 271         contribs/character      \
 272         tests                   \
 273         contribs/dama/dama      \
 274         contribs/assembly       \
 275         contribs/CoRN           \
 276         contribs/RELATIONAL     \
 277         contribs/LOGIC          \
 278         contribs/limits         \
 279         $(NULL)
 280
 281 #       library_auto
 282 TEST_DIRS_OPT =                 \
 283         $(TEST_DIRS)            \
 284 #       contribs/LAMBDA-TYPES   \
 285         $(NULL)
 286
 287 .PHONY: tests tests.opt cleantests cleantests.opt
 288 tests: $(foreach d,$(TEST_DIRS),$(d)-test)
 289 tests.opt: $(foreach d,$(TEST_DIRS_OPT),$(d)-test-opt)
 290 cleantests: $(foreach d,$(TEST_DIRS),$(d)-cleantests)
 291 cleantests.opt: $(foreach d,$(TEST_DIRS_OPT),$(d)-cleantests-opt)
 292
 293 %-test: matitac matitaclean
 294         -cd $* && make -k clean all
 295 %-test-opt: matitac.opt matitaclean.opt
 296         -cd $* && make -k clean.opt opt
 297 %-cleantests: matitaclean
 298         -cd $* && make clean
 299 %-cleantests-opt: matitaclean.opt
 300         -cd $* && make clean.opt
 301
 302 # {{{ Distribution stuff
 303
 304 ifeq ($(DISTRIBUTED),yes)
 305
 306
 307 dist_library: install_preliminaries
 308         $(H)echo "publish"
 309         $(H)cd $(WHERE)/ma/standard-library;(HOME=$(WHERE) USER=builder MATITA_RT_BASE_DIR=$(WHERE) MATITA_FLAGS='$(MATITA_CFLAGS)' $(WHERE)/matitac -system -noinnertypes)
 310         $(H)echo "destroy"
 311         $(H)cd $(WHERE)/ma/standard-library;(HOME=$(WHERE) USER=builder MATITA_RT_BASE_DIR=$(WHERE) MATITA_FLAGS='$(MATITA_CFLAGS)' $(WHERE)/matitaclean)
 312 # sqlite3 only
 313         $(H)cp $(WHERE)/.matita/matita.db  $(WHERE)/metadata.db || true
 314 #$(H)rm -rf $(WHERE)/.matita/
 315         touch $@
 316
 317 endif
 318
 319 dist_pre: matitaGeneratedGui.ml
 320         $(MAKE) -C dist/ dist_pre
 321
 322 WHERE = $(DESTDIR)/$(RT_BASE_DIR)
 323 INSTALL_STUFF =                         \
 324         icons/                          \
 325         help/                           \
 326         matita.gtkrc                    \
 327         matita.lang                     \
 328         matita.ma.templ                 \
 329         core_notation.moo               \
 330         matita.conf.xml                 \
 331         closed.xml                      \
 332         gtkmathview.matita.conf.xml     \
 333         AUTHORS                         \
 334         LICENSE                         \
 335         $(NULL)
 336
 337 ifeq ($(HAVE_OCAMLOPT),yes)
 338 INSTALL_STUFF_BIN = $(INSTALL_PROGRAMS:%=%.opt)
 339 else
 340 INSTALL_STUFF_BIN = $(INSTALL_PROGRAMS)
 341 endif
 342
 343 install-arch: install_preliminaries
 344 install-indep:
 345
 346 install_preliminaries : install_preliminaries.stamp
 347
 348 install_preliminaries.stamp:
 349         $(H)install -d $(WHERE)/ma/
 350         $(H)cp -a $(INSTALL_STUFF) $(WHERE)
 351 ifeq ($(HAVE_OCAMLOPT),yes)
 352         $(H)install -s $(INSTALL_STUFF_BIN) $(WHERE)
 353         $(H)for p in $(INSTALL_PROGRAMS); do ln -fs $$p.opt $(WHERE)/$$p; done
 354 else
 355         $(H)install $(INSTALL_STUFF_BIN) $(WHERE)
 356 endif
 357         $(H)for p in $(INSTALL_PROGRAMS_LINKS_MATITAC); do \
 358                 ln -fs matitac $(WHERE)/$$p;\
 359         done
 360         $(H)for p in $(INSTALL_PROGRAMS_LINKS_MATITA); do \
 361                 ln -fs matita $(WHERE)/$$p;\
 362         done
 363         $(H)cp -a library/ $(WHERE)/ma/standard-library
 364         $(H)cp -a nlibrary/ $(WHERE)/ma/new-standard-library
 365
 366         $(H)touch install_preliminaries.stamp
 367
 368 uninstall:
 369         $(H)rm -rf $(WHERE)
 370
 371 STATIC_LINK = dist/static_link/static_link
 372 # for matita
 373 STATIC_LIBS =   \
 374         t1 t1x  \
 375         gtkmathview_gmetadom mathview mathview_backend_gtk mathview_frontend_gmetadom \
 376         gtksourceview-1.0 \
 377         gdome gmetadom_gdome_cpp_smart \
 378         stdc++ \
 379         mysqlclient \
 380         expat \
 381         $(NULL)
 382 STATIC_EXTRA_LIBS = -cclib -lt1x -cclib -lstdc++
 383 # for matitac & co
 384 STATIC_CLIBS = \
 385         gdome \
 386         mysqlclient \
 387         $(NULL)
 388 STATIC_CLIBS_PROVER = \
 389         $(STATIC_CLIBS) \
 390         z \
 391         pcre \
 392         expat \
 393         xml2 \
 394         glib-2.0 \
 395         $(NULL)
 396 STATIC_EXTRA_CLIBS =
 397 PROGRAMS_STATIC = $(patsubst %,%.static,$(PROGRAMS_OPT))
 398 PROGRAMS_UPX = $(patsubst %,%.upx,$(PROGRAMS_STATIC))
 399
 400 ifeq ($(HAVE_OCAMLOPT),yes)
 401 static: $(STATIC_LINK) $(PROGRAMS_STATIC)
 402 else
 403 upx:
 404         $(H)echo "Native code compilation is disabled"
 405 static:
 406         $(H)echo "Native code compilation is disabled"
 407 endif
 408
 409 $(STATIC_LINK):
 410         $(MAKE) -C dist/ $(STATIC_LINK)
 411
 412 matita.opt.static: $(STATIC_LINK) $(LIBX_DEPS) $(CMXS) matita.ml
 413         $(STATIC_LINK) $(STATIC_LIBS) -- \
 414                 $(OCAMLOPT) $(PKGS) -linkpkg -o $@ $(CMXS) matita.ml \
 415                 $(STATIC_EXTRA_LIBS)
 416         strip $@
 417 matitac.opt.static: $(STATIC_LINK) $(CLIBX_DEPS) $(CCMXS) $(MAINCMXS) matitac.ml
 418         $(STATIC_LINK) $(STATIC_CLIBS) -- \
 419                 $(OCAMLOPT) $(CPKGS) -linkpkg -o $@ $(CCMXS) $(MAINCMXS) matitac.ml \
 420                 $(STATIC_EXTRA_CLIBS)
 421         strip $@
 422 matitaclean.opt.static: matitac.opt.static
 423         $(H)test -f $@ || ln -s $< $@
 424
 425 %.upx: %
 426         cp $< $@
 427         strip $@
 428         upx $@
 429
 430 # }}} End of distribution stuff
 431
 432 # {{{ Deps and automatic rules
 433 tags: TAGS
 434 .PHONY: TAGS
 435 TAGS:
 436         $(H)cd ..; otags -vi -r components/ matita/
 437
 438 .PHONY: depend
 439
 440 depend:
 441         $(H)echo "  OCAMLDEP"
 442         $(H)$(OCAMLDEP) $(ALL_NORMAL_ML) $(ALL_NORMAL_MLI) > .depend
 443         $(H)$(OCAMLDEP) $(MY_SYNTAXOPTIONS) $(ALL_SYNTAX_ML) $(ALL_SYNTAX_MLI) >> .depend
 444 depend.opt:
 445         $(H)echo "  OCAMLDEP -native"
 446         $(H)$(OCAMLDEP) -native $(ALL_NORMAL_ML) $(ALL_NORMAL_MLI) > .depend.opt
 447         $(H)$(OCAMLDEP) $(MY_SYNTAXOPTIONS) -native $(ALL_SYNTAX_ML) $(ALL_SYNTAX_MLI) >> .depend.opt
 448
 449 # this should be sligtly better, since should work with 'make all opt'
 450 MAKECMDGOALS_DELIM=$(addprefix _x_,$(addsuffix _x_,$(MAKECMDGOALS)))
 451 ifneq (,$(findstring _x_all_x_,$(MAKECMDGOALS_DELIM)))
 452   # if we 'make all opt' the deps for 'all' should be fine also for opt
 453   # if we 'make opt all' it should not work...
 454   INCLUDE_MANDATORY=yes
 455   TO_INCLUDE+=.depend
 456   TO_DEPEND_ON=$(LIB_DEPS)
 457 else ifneq (,$(findstring _x_opt_x_,$(MAKECMDGOALS_DELIM)))
 458   INCLUDE_MANDATORY=yes
 459   TO_INCLUDE+=.depend.opt
 460   TO_DEPEND_ON=$(LIBX_DEPS)
 461 else ifneq (,$(findstring _x_world_x_,$(MAKECMDGOALS_DELIM)))
 462   ifeq ($(HAVE_OCAMLOPT),yes)
 463     INCLUDE_MANDATORY=yes
 464     TO_INCLUDE+=.depend.opt
 465     TO_DEPEND_ON=$(LIBX_DEPS)
 466   else
 467     INCLUDE_MANDATORY=yes
 468     TO_INCLUDE+=.depend
 469     TO_DEPEND_ON=$(LIB_DEPS)
 470   endif
 471 else
 472   TO_INCLUDE+=.depend
 473   INCLUDE_MANDATORY=no
 474   TO_DEPEND_ON=$(LIB_DEPS)
 475 endif
 476
 477 $(MLI:%.mli=%.cmi) $(ML:%.ml=%.cmo) $(ML:%.ml=%.cmx): $(TO_DEPEND_ON)
 478
 479 ifeq (no,$(INCLUDE_MANDATORY))
 480   -include $(TO_INCLUDE)
 481 else
 482   include $(TO_INCLUDE)
 483 endif
 484
 485 %.cmi: %.mli
 486         $(H)echo "  OCAMLC $<"
 487         $(H)$(OCAMLC) $(PKGS) -c $<
 488 %.cmo %.cmi: %.ml
 489         $(H)echo "  OCAMLC $<"
 490         $(H)$(OCAMLC) $(PKGS) -c $<
 491 %.cmx: %.ml
 492         $(H)echo "  OCAMLOPT $<"
 493         $(H)$(OCAMLOPT) $(PKGS) -c $<
 494 %.annot: %.ml
 495         $(H)echo "  OCAMLC -dtypes $<"
 496         $(H)$(OCAMLC) -dtypes $(PKGS) -c $<
 497
 498 deps.ps: deps.dot
 499         dot -Tps -o $@ $<
 500 deps.dot: .depend
 501         ./dep2dot.rb < $< | tred > $@
 502
 503 # }}} End of deps and automatic rules
 504
 505
 506 # vim: set foldmethod=marker: