Makefile

##*****************************************************************************
##
##    DESCRIPTION: Verilog parser Makefile
##
##*****************************************************************************
##
## Copyright 2010 by Jonathan Kimmitt.  This program is free software; you can
## redistribute it and/or modify it under the terms of either the GNU
## General Public License or the Perl Artistic License.
##
## This code is distributed in the hope that it will be useful,
## but WITHOUT ANY WARRANTY; without even the implied warranty of
## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
## GNU General Public License for more details.
##
##*****************************************************************************
## Based on verilator parser code by Paul Wasson, Duane Galbi and Wilson Snyder
##*****************************************************************************

TARGET = vparser
MENHIROPTS = -v  --table # --infer 
#MENHIROPTS = -v  --table  --trace
YACCOPTS = -v
#LEXOPTS = -ml

INC = /home/utils/ocaml-3.12.0
MENHIR = /home/utils/lib/ocaml/site-lib/menhirLib
CMO1 = ord.cmo setup.cmo globals.cmo vlexer.cmo vparser.cmo dump.cmo const.cmo check.cmo semantics.cmo
CMO2 = vparse.cmo main.cmo
CMX = ord.cmx setup.cmx globals.cmx vlexer.cmx vparser.cmx dump.cmx const.cmx check.cmx semantics.cmx vparse.cmx main.cmx
CML = toplevellib.cma str.cma unix.cma
CMLX = str.cmxa unix.cmxa

all: vparser vdebug vtop vchk

vtop: $(TARGET)
	ocamlmktop -g -o $@ $(MENHIR)/menhirLib.cmo $(CML) $(CMO1) $(CMO2)

vdebug: $(TARGET)
	ocamlc -g -o $@ $(MENHIR)/menhirLib.cmo $(CML) $(CMO1) $(CMO2)

vparser.mli vparser.ml: grammar.mly
	menhir $(MENHIROPTS) --base vparser grammar.mly

$(TARGET): $(CMO1) $(CMO2) mytoploop.cmo
	ocamlc.opt -g -o $@ $(MENHIR)/menhirLib.cmo $(CML) $(CMO1) mytoploop.cmo $(CMO2)

$(TARGET).cmo: $(TARGET).ml
	ocamlc.opt -I $(MENHIR) -g -c $<

$(TARGET).cmx: $(TARGET).ml
	ocamlopt.opt -I $(MENHIR) -g -c $<

depend: vparser.ml vlexer.ml
	ocamldep *.ml *.mli > .depend

clean:
	rm -rf *.cmi *.cmo *.cmx *.o vchk vtop $(TARGET)
	rm -rf vparser.ml vparser.mli vlexer.ml vlexer.mli vparser.mli vparser.ml ord.ml

.SUFFIXES: .ml .mli .mll .mly .cmo .cmi .cmx

.ml.cmo:
	ocamlc.opt -g -c $<

.mli.cmi:
	ocamlc.opt -g -c $<

.mll.ml:
	ocamllex.opt $(LEXOPTS) $<

.ml.cmx:
	ocamlopt.opt -g -c $<

ord.ml: ord.sh vparser.cmi
	sh ord.sh

vparser.cmi: vparser.mli
	ocamlc.opt -g -c vparser.mli

test: vtop
	ocamldebug ./vparser

debug: vtop
	ocamldebug ./vtop

vchk: $(CMX)
	ocamlopt.opt -g -o $@ $(MENHIR)/menhirLib.cmx $(CMLX) $(CMX)

I = -I $(INC)/driver -I $(INC)/toplevel -I $(INC)/bytecomp -I $(INC)/parsing -I $(INC)/utils -I $(INC)/typing

mytoploop.cmo: mytoploop.ml
	ocamlc.opt -g -c $I $<

mytoploop.cmi: mytoploop.mli
	ocamlc.opt -g -c $I $<

include .depend