|
Packit |
bd2e5d |
#######################################################################
|
|
Packit |
bd2e5d |
# #
|
|
Packit |
bd2e5d |
# MLTk, Tcl/Tk interface of OCaml #
|
|
Packit |
bd2e5d |
# #
|
|
Packit |
bd2e5d |
# Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis #
|
|
Packit |
bd2e5d |
# projet Cristal, INRIA Rocquencourt #
|
|
Packit |
bd2e5d |
# Jacques Garrigue, Kyoto University RIMS #
|
|
Packit |
bd2e5d |
# #
|
|
Packit |
bd2e5d |
# Copyright 2002 Institut National de Recherche en Informatique et #
|
|
Packit |
bd2e5d |
# en Automatique and Kyoto University. All rights reserved. #
|
|
Packit |
bd2e5d |
# This file is distributed under the terms of the GNU Library #
|
|
Packit |
bd2e5d |
# General Public License, with the special exception on linking #
|
|
Packit |
bd2e5d |
# described in file LICENSE found in the OCaml source tree. #
|
|
Packit |
bd2e5d |
# #
|
|
Packit |
bd2e5d |
#######################################################################
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
include ../support/Makefile.common
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
# We are using the non-installed library !
|
|
Packit |
bd2e5d |
COMPFLAGS= -I ../lib -I ../camltk -I ../support
|
|
Packit |
bd2e5d |
LINKFLAGS= -I ../lib -I ../camltk -I ../support
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
# Use pieces of Makefile.config
|
|
Packit |
bd2e5d |
TKLINKOPT=$(LIBNAME).cma $(TKLIBS)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
all: addition.exe helloworld.exe winskel.exe socketinput.exe
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
addition.exe: addition.cmo
|
|
Packit |
bd2e5d |
$(CAMLC) -custom $(LINKFLAGS) $(TKLINKOPT) \
|
|
Packit |
bd2e5d |
-o $@ addition.cmo
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
helloworld.exe: helloworld.cmo
|
|
Packit |
bd2e5d |
$(CAMLC) -custom $(LINKFLAGS) $(TKLINKOPT) \
|
|
Packit |
bd2e5d |
-o $@ helloworld.cmo
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
winskel.exe: winskel.cmo
|
|
Packit |
bd2e5d |
$(CAMLC) -custom $(LINKFLAGS) $(TKLINKOPT) \
|
|
Packit |
bd2e5d |
-o $@ winskel.cmo
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
socketinput.exe: socketinput.cmo
|
|
Packit |
bd2e5d |
$(CAMLC) -custom $(LINKFLAGS) $(TKLINKOPT) unix.cma \
|
|
Packit |
bd2e5d |
-o $@ socketinput.cmo
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
clean :
|
|
Packit |
bd2e5d |
rm -f *.cm? *.exe
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
.SUFFIXES :
|
|
Packit |
bd2e5d |
.SUFFIXES : .mli .ml .cmi .cmo
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
.mli.cmi:
|
|
Packit |
bd2e5d |
$(CAMLCOMP) $(COMPFLAGS) $<
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
.ml.cmo:
|
|
Packit |
bd2e5d |
$(CAMLCOMP) $(COMPFLAGS) $<
|