diff options
Diffstat (limited to 'pkgs/development/compilers/ocaml/Makefile.nixpkgs')
| -rw-r--r-- | pkgs/development/compilers/ocaml/Makefile.nixpkgs | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/pkgs/development/compilers/ocaml/Makefile.nixpkgs b/pkgs/development/compilers/ocaml/Makefile.nixpkgs deleted file mode 100644 index 2d6457852fc9..000000000000 --- a/pkgs/development/compilers/ocaml/Makefile.nixpkgs +++ /dev/null @@ -1,16 +0,0 @@ -# ocaml build system does not allow for parallel building of some -# top-level targets like 'world', 'bootstrap', 'world.opt' as -# then spawn '$(MAKE) all' subprocesses that conflict among each -# other. But we would still like to run each target in parallel -# individually. This file defines such entry points. - -# Re-export all existing phases to make 'make install' work as is. -include Makefile - -nixpkgs_world: - $(MAKE) world - -nixpkgs_world_bootstrap_world_opt: - $(MAKE) world - $(MAKE) bootstrap - $(MAKE) world.opt |