annotate tools/Makefile @ 1:b5139af1a420 tip basis

Fixed permissions on compile scripts
author Mike Spivey <mike@cs.ox.ac.uk>
date Fri, 13 Oct 2017 17:27:58 +0100
parents bfdcc3820b32
children
rev   line source
mike@0 1 # tools/Makefile
mike@0 2
mike@0 3 all : nodexp sshconfig pibake
mike@0 4
mike@0 5 nodexp : nclex.cmo ncparse.cmo ncmain.cmo
mike@0 6 ocamlc ../lib/common.cma $^ -o $@
mike@0 7
mike@0 8 nclex.ml : nclex.mll
mike@0 9 ocamllex nclex.mll
mike@0 10
mike@0 11 ncparse.mli ncparse.ml : ncparse.mly
mike@0 12 ocamlyacc -v ncparse.mly
mike@0 13
mike@0 14 DIR := $(shell pwd)
mike@0 15
mike@0 16 pibake: pibake.in sshconfig
mike@0 17 sed 's:@DIR@:$(DIR):g' $< >$@
mike@0 18 chmod +x $@
mike@0 19
mike@0 20 sshconfig: sshconfig.in
mike@0 21 sed 's:@DIR@:$(DIR):g' $< >$@
mike@0 22
mike@0 23 %.cmi: %.mli
mike@0 24 ocamlc $(MLFLAGS) -c $<
mike@0 25
mike@0 26 %.cmo: %.ml
mike@0 27 ocamlc $(MLFLAGS) -c $<
mike@0 28
mike@0 29 MLGEN = nclex.ml ncparse.mli ncparse.ml
mike@0 30
mike@0 31 ML = $(MLGEN) ncmain.ml
mike@0 32
mike@0 33 clean : force
mike@0 34 rm -f nodexp *.cmo *.cmi *.output $(MLGEN)
mike@0 35 rm -f sshconfig pibake
mike@0 36
mike@0 37 depend: $(ML) force
mike@0 38 (sed '/^###/q' Makefile; echo; ocamldep $(ML)) >new
mike@0 39 mv new Makefile
mike@0 40
mike@0 41 force:
mike@0 42
mike@0 43 MLFLAGS = -I ../lib
mike@0 44
mike@0 45 ###
mike@0 46
mike@0 47 nclex.cmo : ncparse.cmi
mike@0 48 nclex.cmx : ncparse.cmx
mike@0 49 ncmain.cmo : ncparse.cmi nclex.cmo
mike@0 50 ncmain.cmx : ncparse.cmx nclex.cmx
mike@0 51 ncparse.cmo : ncparse.cmi
mike@0 52 ncparse.cmx : ncparse.cmi
mike@0 53 ncparse.cmi :