Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Fetching contributors…

Cannot retrieve contributors at this time

23 lines (16 sloc) 0.592 kb
#MLKITLIB=$(HOME)/mlkit-4.3.6
#MLCOMP=SML_LIB=$(MLKITLIB)/lib/mlkit $(MLKITLIB)/bin/mlkit
MLCOMP=mlton
UTEST_FILES=$(shell ls utest/*.{sig,sml,mlb})
VEC_FILES=$(shell ls vec/*.{sig,sml,mlb})
# Set FVEC to fvec for using Standard ML
FVEC=fvec
.PHONY: all
all: runvec
runvec: $(VEC_FILES) $(UTEST_FILES)
$(MLCOMP) -mlb-path-var 'FVEC $(FVEC)' -output $@ vec/vec.mlb
AmrPutVec: AmrPutVec.sml AmrPutVecTest.sml $(VEC_FILES) $(UTEST_FILES)
$(MLCOMP) -mlb-path-var FVEC $(FVEC) -output $@ AmrPutVec.mlb
clean:
find . -name MLB | xargs rm -rf
rm -f runvec apl AmrPutVec *~ vec/*~ utest/*~
Jump to Line
Something went wrong with that request. Please try again.