Additional checks

Author: josevalim

Makefile

@@ -107,9 +107,10 @@ $(KERNEL): lib/elixir/src/* lib/elixir/lib/*.ex lib/elixir/lib/*/*.ex lib/elixir
 	fi
 	@ echo "==> elixir (compile)";
 	$(Q) cd lib/elixir && ../../$(ELIXIRC_MIN_SIG) "lib/**/*.ex" -o ebin;
+	$(Q) $(GENERATE_APP) $(VERSION)
 	$(Q) bin/elixir lib/elixir/scripts/infer.exs;
 
-$(APP): lib/elixir/src/elixir.app.src lib/elixir/ebin VERSION $(GENERATE_APP)
+$(APP): lib/elixir/src/elixir.app.src $(GENERATE_APP)
 	$(Q) $(GENERATE_APP) $(VERSION)
 
 unicode: $(UNICODE)

lib/elixir/scripts/infer.exs

@@ -1,6 +1,10 @@
 parent = self()
 {:ok, checker} = Module.ParallelChecker.start_link()
 
+# Validate we are loading Elixir modules and that they are all in place
+[:elixir] = Code.get_compiler_option(:infer_signatures)
+true = URI in Application.spec(:elixir, :modules)
+
 {time, modules} =
   :timer.tc(fn ->
     [_ | _] = paths = Path.wildcard(Path.join(__DIR__, "../ebin/Elixir.*.beam"))