# Makefile
# Copyright 2005-2007 Berke DURAK, INRIA Rocquencourt and The EDOS Project.
# Released under the GNU LGPL version 2.

SOURCES  = napkin.mli napkin.ml
NAME     = napkin
REQUIRES = io

include Makefile.library
