src/Makefile

   1 ######################################################################
   2 # Auto-configuration
   3 ######################################################################
   4
   5 ifdef VERBOSE
   6   CFG_QUIET :=
   7   CFG_ECHO =
   8 else
   9   CFG_QUIET := @
  10   CFG_ECHO = echo $(1)
  11 endif
  12
  13 CFG_OSTYPE := $(shell uname -s)
  14 CFG_CPUTYPE := $(shell uname -m)
  15
  16 ifneq ($(MAKE_RESTARTS),)
  17 CFG_INFO := $(info cfg: make restarts: $(MAKE_RESTARTS))
  18 endif
  19
  20 CFG_INFO := $(info cfg: building on $(CFG_OSTYPE) $(CFG_CPUTYPE))
  21
  22 CFG_GCC_COMPILE_FLAGS :=
  23 CFG_GCC_LINK_FLAGS :=
  24 CFG_VALGRIND :=
  25
  26 CFG_LLVM_CONFIG := llvm-config
  27 CFG_BOOT_FLAGS :=
  28
  29 ifeq ($(CFG_OSTYPE), Linux)
  30   CFG_RUNTIME := librustrt.so
  31   CFG_STDLIB := libstd.so
  32   CFG_GCC_COMPILE_FLAGS += -fPIC
  33   CFG_GCC_LINK_FLAGS += -shared -fPIC -ldl -lpthread
  34   ifeq ($(CFG_CPUTYPE), x86_64)
  35     CFG_GCC_COMPILE_FLAGS += -m32
  36     CFG_GCC_LINK_FLAGS += -m32
  37   endif
  38   CFG_NATIVE := 1
  39   CFG_UNIXY := 1
  40   CFG_VALGRIND := $(shell which valgrind)
  41   ifdef CFG_VALGRIND
  42     CFG_VALGRIND += --run-libc-freeres=no --leak-check=full --quiet --vex-iropt-level=0
  43   endif
  44 endif
  45
  46 ifeq ($(CFG_OSTYPE), Darwin)
  47   CFG_RUNTIME := librustrt.dylib
  48   CFG_STDLIB := libstd.dylib
  49   CFG_UNIXY := 1
  50   CFG_GCC_LINK_FLAGS += -dynamiclib -lpthread
  51   # Darwin has a very blurry notion of "64 bit", and claims it's running
  52   # "on an i386" when the whole userspace is 64-bit and the compiler
  53   # emits 64-bit binaries by default. So we just force -m32 here. Smarter
  54   # approaches welcome!
  55   CFG_GCC_COMPILE_FLAGS += -m32
  56   CFG_GCC_LINK_FLAGS += -m32
  57 endif
  58
  59 ifneq ($(findstring MINGW,$(CFG_OSTYPE)),)
  60   CFG_WINDOWSY := 1
  61 endif
  62
  63 ifdef CFG_WINDOWSY
  64   CFG_INFO := $(info cfg: windows-y environment)
  65   CFG_PATH_MUNGE := | sed -e 's/\\\(.\)/\/\1/g'
  66   CFG_FLEXLINK := $(shell which flexlink)
  67   ifdef CFG_FLEXLINK
  68     CFG_NATIVE := 1
  69   endif
  70   CFG_RUNTIME := rustrt.dll
  71   CFG_STDLIB := std.dll
  72   CFG_OBJ_SUFFIX := .o
  73   CFG_EXE_SUFFIX := .exe
  74   CFG_BOOT := ./rustboot.exe
  75   CFG_COMPILER := ./rustc.exe
  76   CFG_GCC_COMPILE_FLAGS += -march=i686
  77   CFG_GCC_LINK_FLAGS += -shared -fPIC
  78   CFG_RUN_TARG = $(1)
  79   # FIXME: support msvc at some point
  80   CFG_GCC := 1
  81 endif
  82
  83 ifdef CFG_UNIXY
  84   CFG_INFO := $(info cfg: unix-y environment)
  85   CFG_BOOT := ./rustboot
  86   CFG_COMPILER := ./rustc
  87   CFG_OBJ_SUFFIX := .o
  88   CFG_RUN_TARG = LD_LIBRARY_PATH=. $(CFG_VALGRIND) $(1)
  89   CFG_GCC := 1
  90   ifdef MINGW_CROSS
  91     CFG_INFO := $(info cfg: mingw-cross)
  92     CFG_GCC_CROSS := i586-mingw32msvc-
  93     CFG_BOOT_FLAGS += -t win32-x86-pe
  94     CFG_RUNTIME := rustrt.dll
  95     CFG_STDLIB := std.dll
  96     CFG_COMPILER := ./rustc.exe
  97     ifdef CFG_VALGRIND
  98       CFG_VALGRIND += wine
  99     endif
 100     CFG_OBJ_SUFFIX := .o
 101     CFG_EXE_SUFFIX := .exe
 102     CFG_GCC_COMPILE_FLAGS :=
 103     CFG_GCC_LINK_FLAGS := -shared
 104     ifeq ($(CFG_CPUTYPE), x86_64)
 105       CFG_GCC_COMPILE_FLAGS += -m32
 106       CFG_GCC_LINK_FLAGS += -m32
 107     endif
 108   endif
 109 endif
 110
 111 ifdef CFG_GCC
 112   CFG_INFO := $(info cfg: using gcc)
 113   CFG_GCC_COMPILE_FLAGS += -Wall -Werror -fno-rtti -fno-exceptions -g
 114   CFG_GCC_LINK_FLAGS += -g
 115   CFG_COMPILE_C = $(CFG_GCC_CROSS)g++ $(CFG_GCC_COMPILE_FLAGS) -c -o $(1) $(2)
 116   CFG_LINK_C = $(CFG_GCC_CROSS)g++ $(CFG_GCC_LINK_FLAGS) -o $(1)
 117   CFG_DEPEND_C = $(CFG_GCC_CROSS)g++ $(CFG_GCC_COMPILE_FLAGS) -MT "$(1)" -MM $(2)
 118 else
 119   CFG_ERR := $(error please try on a system with gcc)
 120 endif
 121
 122 CFG_OCAMLC_OPT := $(shell which ocamlc.opt)
 123 ifdef CFG_OCAMLC_OPT
 124   $(info cfg: using ocaml native compiler)
 125   OPT=.opt
 126 else
 127   $(info cfg: using ocaml bytecode compiler)
 128 endif
 129
 130 ifdef PROFILE
 131   $(info cfg: building with profiling info (forcing native output))
 132   CFG_NATIVE := 1
 133   CFG_OCAMLOPT_PROFILE_FLAGS := -p
 134 endif
 135
 136 ifdef DEBUG
 137   $(info cfg: forcing bytecode output)
 138   CFG_NATIVE :=
 139 endif
 140
 141 ifdef CFG_NATIVE
 142   $(info cfg: building native compiler)
 143 else
 144   $(info cfg: building bytecode compiler)
 145 endif
 146
 147 ifneq ($(CFG_LLVM_CONFIG),)
 148   CFG_LLVM_CONFIG := $(shell which $(CFG_LLVM_CONFIG))
 149 endif
 150 ifneq ($(CFG_LLVM_CONFIG),)
 151   CFG_LLVM_VERSION := $(shell $(CFG_LLVM_CONFIG) --version)
 152   ifeq ($(CFG_LLVM_VERSION),2.8svn)
 153     $(info cfg: using LLVM version 2.8svn)
 154   else
 155     CFG_LLVM_CONFIG :=
 156     $(info cfg: incompatible LLVM version $(CFG_LLVM_VERSION), expected 2.8svn)
 157   endif
 158 endif
 159 ifdef CFG_LLVM_CONFIG
 160   VARIANT=llvm
 161   WHERE := $(shell ocamlc -where)
 162   LLVM_LIBS := llvm.cma llvm_bitwriter.cma
 163   LLVM_NATIVE_LIBS := llvm.cmxa llvm_bitwiter.cmxa
 164   LLVM_CLIBS := $(shell for c in `$(CFG_LLVM_CONFIG) --ldflags --libs` -lllvm -lllvm_bitwriter; do echo -cclib && echo $$c; done | xargs echo)
 165   LLVM_INCS := -I boot/llvm -I $(WHERE)
 166   LLVM_MLS := $(addprefix boot/llvm/, llabi.ml llasm.ml llfinal.ml lltrans.ml \
 167     llemit.ml)
 168   CFG_LLC_COMPILE_FLAGS := -march=x86
 169   $(info cfg: found llvm-config at $(CFG_LLVM_CONFIG))
 170 else
 171   VARIANT=x86
 172   LLVM_CLIBS :=
 173   LLVM_INCS :=
 174   LLVM_MLS :=
 175   $(info cfg: disabling LLVM backend)
 176 endif
 177
 178 MKFILES := Makefile
 179
 180 # add current directory to library search path of CFG_BOOT command line
 181
 182 CFG_BOOT_FLAGS += -L .
 183
 184 ######################################################################
 185 # Boot targets and rules
 186 ######################################################################
 187
 188 ML_INCS := -I boot/fe -I boot/me -I boot/be -I boot/driver/$(VARIANT) \
 189   -I boot/driver -I boot/util $(LLVM_INCS)
 190 ML_LIBS := unix.cma nums.cma bigarray.cma
 191 ML_NATIVE_LIBS := unix.cmxa nums.cmxa bigarray.cmxa
 192 OCAMLC_FLAGS := -g $(ML_INCS) -w Ael -warn-error Ael
 193 OCAMLOPT_FLAGS := $(ML_INCS) -w Ael -warn-error Ael $(CFG_OCAMLOPT_PROFILE_FLAGS)
 194
 195 ifdef CFG_LLVM_CONFIG
 196   ML_LIBS += $(LLVM_LIBS) -custom -cclib -lstdc++ $(LLVM_CLIBS)
 197   ML_NATIVE_LIBS += $(LLVM_NATIVE_LIBS) -cclib -lstdc++ $(LLVM_CLIBS)
 198 endif
 199
 200 # List them in link order.
 201 # Nobody calculates the link-order DAG automatically, sadly.
 202
 203 UTIL_BOT_MLS := $(addprefix boot/util/, common.ml bits.ml)
 204 DRIVER_BOT_MLS := $(addprefix boot/driver/, session.ml)
 205 BE_MLS := $(addprefix boot/be/, x86.ml ra.ml pe.ml elf.ml \
 206           macho.ml)
 207 IL_MLS := $(addprefix boot/be/, asm.ml il.ml abi.ml)
 208 ME_MLS := $(addprefix boot/me/, walk.ml semant.ml resolve.ml alias.ml type.ml dead.ml \
 209           typestate.ml mode.ml mutable.ml gctype.ml loop.ml layout.ml transutil.ml \
 210           trans.ml dwarf.ml)
 211 FE_MLS := $(addprefix boot/fe/, ast.ml token.ml lexer.ml parser.ml pexp.ml item.ml cexp.ml)
 212 DRIVER_TOP_MLS := $(addprefix boot/driver/, $(VARIANT)/glue.ml lib.ml main.ml)
 213
 214 BOOT_MLS := $(UTIL_BOT_MLS) $(DRIVER_BOT_MLS) $(FE_MLS) $(IL_MLS) $(ME_MLS) \
 215   $(BE_MLS) $(LLVM_MLS) $(DRIVER_TOP_MLS)
 216 BOOT_CMOS := $(BOOT_MLS:.ml=.cmo)
 217 BOOT_CMXS := $(BOOT_MLS:.ml=.cmx)
 218 BOOT_OBJS := $(BOOT_MLS:.ml=.o)
 219 BOOT_CMIS := $(BOOT_MLS:.ml=.cmi)
 220
 221 RUNTIME_CS := rt/rust.cpp \
 222               rt/rust_builtin.cpp \
 223               rt/rust_crate.cpp \
 224               rt/rust_crate_cache.cpp \
 225               rt/rust_crate_reader.cpp \
 226               rt/rust_comm.cpp \
 227               rt/rust_dom.cpp \
 228               rt/rust_task.cpp \
 229               rt/rust_upcall.cpp \
 230               rt/isaac/randport.cpp
 231 RUNTIME_HDR := rt/rust.h \
 232                rt/rust_dwarf.h \
 233                rt/rust_internal.h \
 234                rt/rust_util.h
 235
 236 RUNTIME_INCS := -Irt/isaac -Irt/uthash
 237 RUNTIME_OBJS := $(RUNTIME_CS:.cpp=$(CFG_OBJ_SUFFIX))
 238 RUNTIME_LIBS := $(CFG_RUNTIME_LIBS)
 239
 240 STDLIB_CRATE := lib/std.rc
 241 STDLIB_INPUTS := $(wildcard lib/*.rc lib/*.rs lib/*/*.rs)
 242 COMPILER_CRATE := comp/rustc.rc
 243 COMPILER_INPUTS := $(wildcard comp/*.rc comp/*.rs comp/*/*.rs)
 244
 245 all: $(CFG_COMPILER) $(MKFILES) boot/fe/lexer.ml
 246
 247 loc:
 248         wc -l $(BOOT_MLS) $(RUNTIME_CS) $(RUNTIME_HDR)
 249
 250 $(CFG_RUNTIME): $(RUNTIME_OBJS) $(MKFILES) $(RUNTIME_HDR)
 251         @$(call CFG_ECHO, compile: $<)
 252         $(CFG_QUIET)$(call CFG_LINK_C, $@) $(RUNTIME_OBJS)
 253
 254 $(CFG_STDLIB): $(STDLIB_CRATE) $(CFG_BOOT) $(MKFILES)
 255         @$(call CFG_ECHO, compile: $<)
 256         $(CFG_QUIET)OCAMLRUNPARAM="b1" $(CFG_BOOT) $(CFG_BOOT_FLAGS) -shared -o $@ $(STDLIB_CRATE)
 257
 258 %$(CFG_OBJ_SUFFIX): %.cpp $(MKFILES)
 259         @$(call CFG_ECHO, compile: $<)
 260         $(CFG_QUIET)$(call CFG_COMPILE_C, $@, $(RUNTIME_INCS)) $<
 261
 262 ifdef CFG_NATIVE
 263 $(CFG_BOOT): $(BOOT_CMXS) $(MKFILES)
 264         @$(call CFG_ECHO, compile: $<)
 265         $(CFG_QUIET)ocamlopt$(OPT) -o $@ $(OCAMLOPT_FLAGS) $(ML_NATIVE_LIBS) $(BOOT_CMXS)
 266 else
 267 $(CFG_BOOT): $(BOOT_CMOS) $(MKFILES)
 268         @$(call CFG_ECHO, compile: $<)
 269         $(CFG_QUIET)ocamlc$(OPT) -o $@ $(OCAMLC_FLAGS) $(ML_LIBS) $(BOOT_CMOS)
 270 endif
 271
 272 %.cmo: %.ml $(MKFILES)
 273         @$(call CFG_ECHO, compile: $<)
 274         $(CFG_QUIET)ocamlc$(OPT) -c -o $@ $(OCAMLC_FLAGS) $<
 275
 276 %.cmo: %.cmi $(MKFILES)
 277
 278 %.cmx %.o: %.ml $(MKFILES)
 279         @$(call CFG_ECHO, compile: $<)
 280         $(CFG_QUIET)ocamlopt$(OPT) -c -o $@ $(OCAMLOPT_FLAGS) $<
 281
 282 %.ml: %.mll $(MKFILES)
 283         @$(call CFG_ECHO, lex-gen: $<)
 284         $(CFG_QUIET)ocamllex$(OPT) -q -o $@ $<
 285
 286
 287 ######################################################################
 288 # Main compiler targets and rules
 289 ######################################################################
 290
 291 $(CFG_COMPILER): $(COMPILER_CRATE) $(CFG_BOOT) $(CFG_RUNTIME) $(CFG_STDLIB)
 292         @$(call CFG_ECHO, compile: $<)
 293         $(CFG_QUIET)OCAMLRUNPARAM="b1" $(CFG_BOOT) $(CFG_BOOT_FLAGS) -o $@ $<
 294         $(CFG_QUIET)chmod 0755 $@
 295
 296 self: $(CFG_COMPILER)
 297         @$(call CFG_ECHO, compile: $<)
 298         $(CFG_QUIET)$(call CFG_RUN_TARG, $(CFG_COMPILER)) $(COMPILER_CRATE)
 299
 300
 301 ######################################################################
 302 # Testing
 303 ######################################################################
 304
 305 TEST_XFAILS_X86 :=  test/run-pass/mlist_cycle.rs \
 306                     test/run-pass/clone-with-exterior.rs \
 307                     test/run-pass/rec-auto.rs \
 308                     test/run-pass/vec-slice.rs \
 309                     test/run-pass/generic-fn-infer.rs \
 310                     test/run-pass/generic-tag.rs \
 311                     test/run-pass/bind-obj-ctor.rs \
 312                     test/compile-fail/rec-missing-fields.rs \
 313                     test/compile-fail/infinite-tag-type-recursion.rs \
 314                     test/compile-fail/infinite-vec-type-recursion.rs
 315
 316 TEST_XFAILS_LLVM := $(addprefix test/run-pass/, \
 317                       acyclic-unwind.rs \
 318                       alt-tag.rs \
 319                       basic.rs \
 320                       bind-obj-ctor.rs \
 321                       bind-thunk.rs \
 322                       bind-trivial.rs \
 323                       cast.rs \
 324                       char.rs \
 325                       clone-with-exterior.rs \
 326                       comm.rs \
 327                       complex.rs \
 328                       dead-code-one-arm-if.rs \
 329                       deep.rs \
 330                       div-mod.rs \
 331                       drop-on-ret.rs \
 332                       exterior.rs \
 333                       foreach-simple.rs \
 334                       foreach-simple-outer-slot.rs \
 335                       foreach-put-structured.rs \
 336                       vec-slice.rs \
 337                       simple-obj.rs \
 338                       import.rs \
 339                       fun-call-variants.rs \
 340                       fun-indirect-call.rs \
 341                       generic-derived-type.rs \
 342                       generic-drop-glue.rs \
 343                       generic-fn.rs \
 344                       generic-obj.rs \
 345                       generic-obj-with-derived-type.rs \
 346                       generic-tag.rs \
 347                       generic-type.rs \
 348                       generic-fn-infer.rs \
 349                       vec-append.rs \
 350                       vec-concat.rs \
 351                       vec-drop.rs \
 352                       mutable-vec-drop.rs \
 353                       inner-module.rs \
 354                       large-records.rs \
 355                       lazychan.rs \
 356                       linear-for-loop.rs \
 357                       many.rs \
 358                       mlist.rs \
 359                       mlist_cycle.rs \
 360                       mutual-recursion-group.rs \
 361                       native.rc \
 362                       command-line-args.rs \
 363                       native_mod.rc \
 364                       opeq.rs \
 365                       pred.rs \
 366                       readalias.rs \
 367                       rec-auto.rs \
 368                       rec-extend.rs \
 369                       rec.rs \
 370                       rec_tup.rs \
 371                       return-nil.rs \
 372                       i32-sub.rs \
 373                       i8-incr.rs \
 374                       spawn-fn.rs \
 375                       spawn.rs \
 376                       stateful-obj.rs \
 377                       str-append.rs \
 378                       str-concat.rs \
 379                       str-idx.rs \
 380                       syntax-extension.rs \
 381                       tag.rs \
 382                       tail-cps.rs \
 383                       tail-direct.rs \
 384                       threads.rs \
 385                       tup.rs \
 386                       u32-decr.rs \
 387                       u8-incr-decr.rs \
 388                       u8-incr.rs \
 389                       unit.rs \
 390                       user.rs \
 391                       vec.rs \
 392                       writealias.rs \
 393                       yield.rs \
 394                       yield2.rs \
 395                       native-opaque-type.rs \
 396                       type-sizes.rs \
 397                       obj-drop.rs \
 398                       obj-dtor.rs \
 399                       obj-with-vec.rs \
 400                       else-if.rs \
 401                       lazy-and-or.rs \
 402                      ) \
 403                     $(addprefix test/run-fail/, \
 404                       explicit-fail.rs \
 405                       fail.rs \
 406                       linked-failure.rs \
 407                       pred.rs \
 408                       vec_overrun.rs \
 409                       str_overrun.rs \
 410                       vec_underrun.rs \
 411                      ) \
 412                     $(addprefix test/compile-fail/, \
 413                       rec-missing-fields.rs \
 414                       infinite-tag-type-recursion.rs \
 415                       infinite-vec-type-recursion.rs \
 416                      )
 417
 418 ifdef CFG_WINDOWSY
 419 TEST_XFAILS_X86 += test/run-pass/native_mod.rc
 420 TEST_XFAILS_LLVM += test/run-pass/native_mod.rc
 421 endif
 422
 423 TEST_RUN_PASS_CRATES_X86 := $(filter-out $(TEST_XFAILS_X86), $(wildcard test/run-pass/*.rc))
 424 TEST_RUN_PASS_CRATES_LLVM := $(filter-out $(TEST_XFAILS_LLVM), $(wildcard test/run-pass/*.rc))
 425 TEST_RUN_PASS_SOURCES_X86 := $(filter-out $(TEST_XFAILS_X86), $(wildcard test/run-pass/*.rs))
 426 TEST_RUN_PASS_SOURCES_LLVM := $(filter-out $(TEST_XFAILS_LLVM), $(wildcard test/run-pass/*.rs))
 427 TEST_RUN_PASS_EXTRAS := $(wildcard test/run-pass/*/*.rs)
 428 TEST_RUN_PASS_EXES_X86 := \
 429                       $(TEST_RUN_PASS_CRATES_X86:.rc=.x86$(CFG_EXE_SUFFIX)) \
 430                       $(TEST_RUN_PASS_SOURCES_X86:.rs=.x86$(CFG_EXE_SUFFIX))
 431 TEST_RUN_PASS_EXES_LLVM := \
 432                       $(TEST_RUN_PASS_CRATES_LLVM:.rc=.llvm$(CFG_EXE_SUFFIX)) \
 433                       $(TEST_RUN_PASS_SOURCES_LLVM:.rs=.llvm$(CFG_EXE_SUFFIX))
 434 TEST_RUN_PASS_OUTS_X86  := \
 435                     $(TEST_RUN_PASS_EXES_X86:.x86$(CFG_EXE_SUFFIX)=.x86.out)
 436 TEST_RUN_PASS_OUTS_LLVM := \
 437                     $(TEST_RUN_PASS_EXES_LLVM:.llvm$(CFG_EXE_SUFFIX)=.llvm.out)
 438
 439
 440 TEST_RUN_FAIL_CRATES_X86 := $(filter-out $(TEST_XFAILS_X86), $(wildcard test/run-fail/*.rc))
 441 TEST_RUN_FAIL_CRATES_LLVM := $(filter-out $(TEST_XFAILS_LLVM), $(wildcard test/run-fail/*.rc))
 442 TEST_RUN_FAIL_SOURCES_X86 := $(filter-out $(TEST_XFAILS_X86), $(wildcard test/run-fail/*.rs))
 443 TEST_RUN_FAIL_SOURCES_LLVM := $(filter-out $(TEST_XFAILS_LLVM), $(wildcard test/run-fail/*.rs))
 444 TEST_RUN_FAIL_EXTRAS := $(wildcard test/run-fail/*/*.rs)
 445 TEST_RUN_FAIL_EXES_X86 := \
 446                       $(TEST_RUN_FAIL_CRATES_X86:.rc=.x86$(CFG_EXE_SUFFIX)) \
 447                       $(TEST_RUN_FAIL_SOURCES_X86:.rs=.x86$(CFG_EXE_SUFFIX))
 448 TEST_RUN_FAIL_EXES_LLVM := \
 449                       $(TEST_RUN_FAIL_CRATES_LLVM:.rc=.llvm$(CFG_EXE_SUFFIX)) \
 450                       $(TEST_RUN_FAIL_SOURCES_LLVM:.rs=.llvm$(CFG_EXE_SUFFIX))
 451 TEST_RUN_FAIL_OUTS_X86  := \
 452                     $(TEST_RUN_FAIL_EXES_X86:.x86$(CFG_EXE_SUFFIX)=.x86.out)
 453 TEST_RUN_FAIL_OUTS_LLVM := \
 454                     $(TEST_RUN_FAIL_EXES_LLVM:.llvm$(CFG_EXE_SUFFIX)=.llvm.out)
 455
 456
 457 TEST_COMPILE_FAIL_CRATES_X86 := $(filter-out $(TEST_XFAILS_X86), $(wildcard test/compile-fail/*.rc))
 458 TEST_COMPILE_FAIL_CRATES_LLVM := $(filter-out $(TEST_XFAILS_LLVM), $(wildcard test/compile-fail/*.rc))
 459 TEST_COMPILE_FAIL_SOURCES_X86 := $(filter-out $(TEST_XFAILS_X86), $(wildcard test/compile-fail/*.rs))
 460 TEST_COMPILE_FAIL_SOURCES_LLVM := $(filter-out $(TEST_XFAILS_LLVM), $(wildcard test/compile-fail/*.rs))
 461 TEST_COMPILE_FAIL_EXTRAS := $(wildcard test/compile-fail/*/*.rs)
 462 TEST_COMPILE_FAIL_EXES_X86 := \
 463                   $(TEST_COMPILE_FAIL_CRATES_X86:.rc=.x86$(CFG_EXE_SUFFIX)) \
 464                   $(TEST_COMPILE_FAIL_SOURCES_X86:.rs=.x86$(CFG_EXE_SUFFIX))
 465 TEST_COMPILE_FAIL_EXES_LLVM := \
 466                   $(TEST_COMPILE_FAIL_CRATES_LLVM:.rc=.llvm$(CFG_EXE_SUFFIX)) \
 467                   $(TEST_COMPILE_FAIL_SOURCES_LLVM:.rs=.llvm$(CFG_EXE_SUFFIX))
 468 TEST_COMPILE_FAIL_OUTS_X86 := \
 469                 $(TEST_COMPILE_FAIL_EXES_X86:.x86$(CFG_EXE_SUFFIX)=.x86.out)
 470 TEST_COMPILE_FAIL_OUTS_LLVM := \
 471                 $(TEST_COMPILE_FAIL_EXES_LLVM:.llvm$(CFG_EXE_SUFFIX)=.llvm.out)
 472
 473 ALL_TEST_CRATES := $(TEST_COMPILE_FAIL_CRATES_X86) \
 474                    $(TEST_RUN_FAIL_CRATES_X86) \
 475                    $(TEST_RUN_PASS_CRATES_X86)
 476
 477 ALL_TEST_SOURCES := $(TEST_COMPILE_FAIL_SOURCES_X86) \
 478                     $(TEST_RUN_FAIL_SOURCES_X86) \
 479                     $(TEST_RUN_PASS_SOURCES_X86)
 480
 481 ALL_TEST_INPUTS := $(wildcard test/*/*.rs test/*/*/*.rs test/*/*.rc)
 482
 483
 484 check_nocompile: $(TEST_COMPILE_FAIL_OUTS_X86)
 485
 486 check: $(TEST_RUN_PASS_EXES_X86) $(TEST_RUN_FAIL_EXES_X86) \
 487        $(TEST_RUN_PASS_OUTS_X86) $(TEST_RUN_FAIL_OUTS_X86) \
 488        $(TEST_COMPILE_FAIL_OUTS_X86)
 489
 490 ifeq ($(VARIANT),llvm)
 491 ALL_TEST_CRATES += $(TEST_COMPILE_FAIL_CRATES_LLVM) \
 492                    $(TEST_RUN_FAIL_CRATES_LLVM) \
 493                    $(TEST_RUN_PASS_CRATES_LLVM)
 494
 495 ALL_TEST_SOURCES += $(TEST_COMPILE_FAIL_SOURCES_LLVM) \
 496                     $(TEST_RUN_FAIL_SOURCES_LLVM) \
 497                     $(TEST_RUN_PASS_SOURCES_LLVM)
 498
 499 check_nocompile: $(TEST_COMPILE_FAIL_OUTS_LLVM)
 500
 501 check:  $(TEST_RUN_PASS_EXES_LLVM) $(TEST_RUN_FAIL_EXES_LLVM) \
 502         $(TEST_RUN_PASS_OUTS_LLVM) $(TEST_RUN_FAIL_OUTS_LLVM) \
 503         $(TEST_COMPILE_FAIL_OUTS_LLVM)
 504 endif
 505
 506 test/run-pass/%.out: test/run-pass/%$(CFG_EXE_SUFFIX) $(CFG_RUNTIME)
 507         @$(call CFG_ECHO, run: $<)
 508         $(CFG_QUIET)$(call CFG_RUN_TARG, $<) > $@
 509
 510 test/run-fail/%.out: test/run-fail/%$(CFG_EXE_SUFFIX) $(CFG_RUNTIME)
 511         @$(call CFG_ECHO, run: $<)
 512         $(CFG_QUIET)rm -f $@
 513         $(CFG_QUIET)$(call CFG_RUN_TARG, $<) >$@ 2>&1 ; X=$$? ; if [ $$X -eq 0 ] ; then exit 1 ; else exit 0 ; fi
 514         $(CFG_QUIET)grep --text --quiet "`awk -F: '/error-pattern/ { print $$2 }' $(basename $(basename $@)).rs | tr -d '\n\r'`" $@
 515
 516 test/compile-fail/%.x86.out: test/compile-fail/%.rs $(CFG_BOOT) $(CFG_RUNTIME)
 517         @$(call CFG_ECHO, compile [x86]: $<)
 518         $(CFG_QUIET)rm -f $@
 519         $(CFG_QUIET)OCAMLRUNPARAM="b1" $(CFG_BOOT) -o $(@:.out=$(CFG_EXE_SUFFIX)) $< >$@ 2>&1 || true
 520         $(CFG_QUIET)grep --text --quiet "`awk -F: '/error-pattern/ { print $$2 }' $< | tr -d '\n\r'`" $@
 521
 522 test/compile-fail/%.llvm.out: test/compile-fail/%.rs $(CFG_BOOT) $(CFG_RUNTIME)
 523         @$(call CFG_ECHO, compile [llvm]: $<)
 524         $(CFG_QUIET)rm -f $@
 525         $(CFG_QUIET)OCAMLRUNPARAM="b1" $(CFG_BOOT) $(CFG_BOOT_FLAGS) -o $(@:.out=$(CFG_EXE_SUFFIX)) $< >$@ 2>&1 || true
 526         $(CFG_QUIET)grep --text --quiet "`awk -F: '/error-pattern/ { print $$2 }' $< | tr -d '\n\r'`" $@
 527
 528 test/run-pass/%.x86$(CFG_EXE_SUFFIX): test/run-pass/%.rc $(CFG_BOOT) $(CFG_RUNTIME) $(CFG_STDLIB)
 529         @$(call CFG_ECHO, compile [x86]: $<)
 530         $(CFG_QUIET)OCAMLRUNPARAM="b1" $(CFG_BOOT) $(CFG_BOOT_FLAGS) -o $@ $<
 531         $(CFG_QUIET)chmod 0755 $@
 532
 533 %.s: %.bc
 534         @$(call CFG_ECHO, compile [llvm]: $<)
 535         $(CFG_QUIET)llc $(CFG_LLC_COMPILE_FLAGS) -o $@ $<
 536
 537 %.llvm$(CFG_EXE_SUFFIX): %.s $(CFG_RUNTIME)
 538         @$(call CFG_ECHO, compile [llvm]: $<)
 539         $(CFG_QUIET)gcc $(CFG_GCC_COMPILE_FLAGS) -o $@ $< -L. -lrustrt
 540
 541 test/run-pass/%.bc: test/run-pass/%.rc $(CFG_BOOT) $(CFG_STDLIB)
 542         @$(call CFG_ECHO, compile [llvm]: $<)
 543         $(CFG_QUIET)OCAMLRUNPARAM="b1" $(CFG_BOOT) $(CFG_BOOT_FLAGS) -o $@ -llvm $<
 544
 545 test/run-pass/%.x86$(CFG_EXE_SUFFIX): test/run-pass/%.rs $(CFG_BOOT) $(CFG_RUNTIME) $(CFG_STDLIB)
 546         @$(call CFG_ECHO, compile [x86]: $<)
 547         $(CFG_QUIET)OCAMLRUNPARAM="b1" $(CFG_BOOT) $(CFG_BOOT_FLAGS) -o $@ $<
 548         $(CFG_QUIET)chmod 0755 $@
 549
 550 test/run-pass/%.bc: test/run-pass/%.rs $(CFG_BOOT) $(CFG_STDLIB)
 551         @$(call CFG_ECHO, compile [llvm]: $<)
 552         $(CFG_QUIET)OCAMLRUNPARAM="b1" $(CFG_BOOT) $(CFG_BOOT_FLAGS) -o $@ -llvm $<
 553
 554 test/run-fail/%.x86$(CFG_EXE_SUFFIX): test/run-fail/%.rs $(CFG_BOOT) $(CFG_RUNTIME) $(CFG_STDLIB)
 555         @$(call CFG_ECHO, compile [x86]: $<)
 556         $(CFG_QUIET)OCAMLRUNPARAM="b1" $(CFG_BOOT) $(CFG_BOOT_FLAGS) -o $@ $<
 557         $(CFG_QUIET)chmod 0755 $@
 558
 559 test/run-fail/%.bc: test/run-fail/%.rs $(CFG_BOOT) $(CFG_STDLIB)
 560         @$(call CFG_ECHO, compile [llvm]: $<)
 561         $(CFG_QUIET)OCAMLRUNPARAM="b1" $(CFG_BOOT) $(CFG_BOOT_FLAGS) -o $@ -llvm $<
 562
 563
 564 ######################################################################
 565 # Auto-dependency
 566 ######################################################################
 567
 568 ML_DEPFILES := $(BOOT_MLS:%.ml=%.d)
 569 C_DEPFILES := $(RUNTIME_CS:%.cpp=%.d)
 570
 571 %.d: %.cpp $(MKFILES)
 572         @$(call CFG_ECHO, dep: $<)
 573         $(CFG_QUIET)$(call CFG_DEPEND_C, $@ $(patsubst %.cpp, %$(CFG_OBJ_SUFFIX), $<), $(RUNTIME_INCS)) $< $(CFG_PATH_MUNGE) >$@
 574
 575 %.d: %.ml $(MKFILES)
 576         @$(call CFG_ECHO, dep: $<)
 577         $(CFG_QUIET)ocamldep$(OPT) $(ML_INCS) $< $(CFG_PATH_MUNGE) >$@
 578
 579 %.d: %.mli $(MKFILES)
 580         @$(call CFG_ECHO, dep: $<)
 581         $(CFG_QUIET)ocamldep$(OPT) $(ML_INCS) $< $(CFG_PATH_MUNGE) >$@
 582
 583 ifneq ($(MAKECMDGOALS),clean)
 584 -include $(ML_DEPFILES) $(C_DEPFILES)
 585 endif
 586
 587 RUSTBOOT_PROBE := $(wildcard $(CFG_BOOT))
 588
 589 ifneq ($(RUSTBOOT_PROBE),)
 590 CFG_INFO := $(info cfg: using built $(CFG_BOOT) for rust deps)
 591 STDLIB_DEPFILE := $(CFG_STDLIB).d
 592 CRATE_DEPFILES := $(ALL_TEST_CRATES:%.rc=%.d) $(STDLIB_DEPFILE)
 593
 594 $(STDLIB_DEPFILE): $(STDLIB_CRATE) $(MKFILES) $(CFG_BOOT)
 595         @$(call CFG_ECHO, dep: $<)
 596         $(CFG_QUIET)$(CFG_BOOT) $(CFG_BOOT_FLAGS) -shared -rdeps $< $(CFG_PATH_MUNGE) >$@
 597
 598 %.d: %.rc $(MKFILES) $(CFG_BOOT)
 599         @$(call CFG_ECHO, dep: $<)
 600         $(CFG_QUIET)$(CFG_BOOT) $(CFG_BOOT_FLAGS) -rdeps $< $(CFG_PATH_MUNGE) >$@
 601
 602 %.d: %.rs $(MKFILES) $(CFG_BOOT)
 603         @$(call CFG_ECHO, dep: $<)
 604         $(CFG_QUIET)$(CFG_BOOT) $(CFG_BOOT_FLAGS) -rdeps $< $(CFG_PATH_MUNGE) >$@
 605
 606 ifneq ($(MAKECMDGOALS),clean)
 607 -include $(CRATE_DEPFILES)
 608 endif
 609 endif
 610
 611 ######################################################################
 612 # Distribution
 613 ######################################################################
 614
 615 PKG_NAME := rust
 616 PKG_VER  := $(shell date +"%Y-%m-%d")-snap
 617 PKG_DIR := $(PKG_NAME)-$(PKG_VER)
 618 PKG_TAR := $(PKG_DIR).tar.gz
 619 PKG_3RDPARTY := rt/valgrind.h rt/memcheck.h \
 620                 rt/isaac/rand.h rt/isaac/standard.h \
 621                 rt/uthash/uthash.h rt/uthash/utlist.h \
 622                 rt/bigint/bigint.h rt/bigint/bigint_int.cpp \
 623                 rt/bigint/bigint_ext.cpp rt/bigint/low_primes.h
 624 PKG_FILES := README \
 625              $(MKFILES) $(BOOT_MLS) boot/fe/lexer.mll \
 626              $(COMPILER_CRATE) $(COMPILER_INPUTS) \
 627              $(STDLIB_CRATE) $(STDLIB_INPUTS) \
 628              $(RUNTIME_CS) $(RUNTIME_HDR) $(PKG_3RDPARTY) \
 629              $(ALL_TEST_INPUTS)
 630
 631 dist:
 632         @$(call CFG_ECHO, making dist dir)
 633         $(CFG_QUIET)mkdir -p dist/$(PKG_DIR)
 634         $(CFG_QUIET)tar -c $(PKG_FILES) | tar -x -C dist/$(PKG_DIR)
 635         $(CFG_QUIET)cp ../LICENSE.txt dist/$(PKG_DIR)
 636         $(CFG_QUIET)tar -czf $(PKG_TAR) -C dist $(PKG_DIR)
 637         $(CFG_QUIET)rm -Rf dist
 638
 639 distcheck:
 640         @$(call CFG_ECHO, making dist dir)
 641         $(CFG_QUIET)rm -Rf $(PKG_NAME)-*.tar.gz dist
 642         $(CFG_QUIET)mkdir -p dist/$(PKG_DIR)
 643         $(CFG_QUIET)tar -c $(PKG_FILES) | tar -x -C dist/$(PKG_DIR)
 644         @$(call CFG_ECHO, making 'check' in dist dir)
 645         $(CFG_QUIET)make -C dist/$(PKG_DIR) check
 646         $(CFG_QUIET)make -C dist/$(PKG_DIR) clean
 647         @$(call CFG_ECHO, making tarball)
 648         $(CFG_QUIET)cp ../LICENSE.txt dist/$(PKG_DIR)
 649         $(CFG_QUIET)tar -czf $(PKG_TAR) -C dist $(PKG_DIR)
 650         $(CFG_QUIET)rm -Rf dist
 651         @echo
 652         @echo -----------------------------------------------
 653         @echo $(PKG_TAR) ready for distribution
 654         @echo -----------------------------------------------
 655
 656
 657 ######################################################################
 658 # Cleanup
 659 ######################################################################
 660
 661 .PHONY: clean
 662
 663 clean:
 664         @$(call CFG_ECHO, cleaning)
 665         $(CFG_QUIET)rm -f $(RUNTIME_OBJS) $(BOOT_CMOS) $(BOOT_CMIS) $(BOOT_CMXS) $(BOOT_OBJS)
 666         $(CFG_QUIET)rm -f $(CFG_COMPILER)
 667         $(CFG_QUIET)rm -f $(ML_DEPFILES) $(C_DEPFILES) $(CRATE_DEPFILES)
 668         $(CFG_QUIET)rm -f boot/fe/lexer.ml
 669         $(CFG_QUIET)rm -f $(CFG_BOOT) $(CFG_RUNTIME) $(CFG_STDLIB)
 670         $(CFG_QUIET)rm -f $(TEST_RUN_PASS_EXES_X86) $(TEST_RUN_PASS_OUTS_X86)
 671         $(CFG_QUIET)rm -f $(TEST_RUN_PASS_EXES_LLVM) $(TEST_RUN_PASS_OUTS_LLVM)
 672         $(CFG_QUIET)rm -f $(TEST_RUN_FAIL_EXES_X86) $(TEST_RUN_FAIL_OUTS_X86)
 673         $(CFG_QUIET)rm -f $(TEST_RUN_FAIL_EXES_LLVM) $(TEST_RUN_FAIL_OUTS_LLVM)
 674         $(CFG_QUIET)rm -f $(TEST_COMPILE_FAIL_EXES_X86) $(TEST_COMPILE_FAIL_OUTS_X86)
 675         $(CFG_QUIET)rm -f $(TEST_COMPILE_FAIL_EXES_LLVM) $(TEST_COMPILE_FAIL_OUTS_LLVM)
 676         $(CFG_QUIET)rm -Rf $(PKG_NAME)-*.tar.gz dist
 677         $(CFG_QUIET)rm -f $(foreach ext,cmx cmi cmo cma o a d exe,$(wildcard boot/*/*.$(ext) boot/*/*/*.$(ext)))