Commit c9b33241 authored by POTTIER Francois's avatar POTTIER Francois

Remove dead entry [make library] in [src/Makefile].

parent fda1fc44
.PHONY: everyday library bootstrap stage1 stage2 stage3 clean
.PHONY: everyday bootstrap stage1 stage2 stage3 clean
# ----------------------------------------------------------------------------
# Choose a target.
......@@ -7,15 +7,6 @@ ifndef TARGET
TARGET := native
endif
# ----------------------------------------------------------------------------
# Define the files that form the library.
ifeq ($(TARGET),byte)
LIBFILES := menhirLib.cmo
else
LIBFILES := menhirLib.cmo menhirLib.cmx
endif
# ----------------------------------------------------------------------------
# Ocamlbuild tool and settings.
......@@ -28,12 +19,6 @@ OCAMLBUILD := ocamlbuild -classic-display -j 0
everyday: installation.ml stage1
# ----------------------------------------------------------------------------
# Building MenhirLib.
library:
$(OCAMLBUILD) $(LIBFILES)
# ----------------------------------------------------------------------------
# Building Menhir from scratch (a.k.a. bootstrapping).
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment