# Twelf
# Copyright (C) 1997, 1998, Frank Pfenning and Carsten Schuermann

# --------------------------------------------------------------
# Please edit the following lines
# --------------------------------------------------------------

# What is SML/NJ called?
sml = sml-cm

# Twelf root directory
twelfdir = C:\twelf

# --------------------------------------------------------------
# Do not edit the following lines
# --------------------------------------------------------------

version = "1.2"

default : twelf-server twelf-emacs

all : twelf-server twelf-sml twelf-emacs

twelf-server: ; 
	@echo ***************************************************
	@echo Twelf $(version): Server
	@echo ***************************************************	 
	$(sml) < twelf-server.sml ;
	sed -e "s#%TWELFDIR#$(twelfdir)#g" \
	    -e "s#%SML#$(sml)#g" bin\.twelf-server.bat \
	> bin\twelf-server.bat 

twelf-sml: ; 
	@echo ***************************************************
	@echo Twelf $(version): SML
	@echo ***************************************************	 
	$(sml) < twelf-sml.sml ;
	sed -e "s#%TWELFDIR#$(twelfdir)#g" \
	    -e "s#%SML#$(sml)#g" bin\.twelf-sml.bat \
	> bin\twelf-sml.bat 

twelf-emacs: ; 
	@echo ***************************************************
	@echo Twelf $(version): Emacs
	@echo ***************************************************
	sed -e "s#%TWELFDIR#$(twelfdir)#g" emacs\.twelf-init.el \
	> emacs\twelf-init.el 
	@echo ***************************************************
	@echo Add
	@echo 
	@echo (load "$(twelfdir)/emacs/twelf-init.el")
	@echo 
	@echo to your _emacs file
	@echo ***************************************************	

clean: ;
	del /S /Q src\formatter\CM ;
	del /S /Q src\frontend\CM ;
	del /S /Q src\global\CM ;
	del /S /Q src\index\CM ;
	del /S /Q src\lambda\CM ;
	del /S /Q src\m2\CM ;
	del /S /Q src\modes\CM ;
	del /S /Q src\names\CM ;
	del /S /Q src\opsem\CM ;
	del /S /Q src\order\CM ;
	del /S /Q src\paths\CM ;
	del /S /Q src\print\CM ;
	del /S /Q src\server\CM ;
	del /S /Q src\stream\CM ;
	del /S /Q src\subordinate\CM ;
	del /S /Q src\table\CM ;
	del /S /Q src\terminate\CM ;
	del /S /Q src\thm\CM ;
	del /S /Q src\timing\CM ;
	del /S /Q src\typecheck\CM ;