From owner-freebsd-ports Mon Jul 23 1: 0:17 2001 Delivered-To: freebsd-ports@hub.freebsd.org Received: from freefall.freebsd.org (freefall.freebsd.org [216.136.204.21]) by hub.freebsd.org (Postfix) with ESMTP id C52F637B403 for ; Mon, 23 Jul 2001 01:00:02 -0700 (PDT) (envelope-from gnats@FreeBSD.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.11.4/8.11.4) id f6N802P55692; Mon, 23 Jul 2001 01:00:02 -0700 (PDT) (envelope-from gnats) Received: from ego.mazic.org (sparcs14.kaist.ac.kr [143.248.234.114]) by hub.freebsd.org (Postfix) with ESMTP id A378E37B405 for ; Mon, 23 Jul 2001 00:51:06 -0700 (PDT) (envelope-from netj@ego.mazic.org) Received: (from root@localhost) by ego.mazic.org (8.11.4/8.11.4) id f6N7p1q66113; Mon, 23 Jul 2001 16:51:01 +0900 (KST) (envelope-from netj) Message-Id: <200107230751.f6N7p1q66113@ego.mazic.org> Date: Mon, 23 Jul 2001 16:51:01 +0900 (KST) From: Jaeho Shin Reply-To: Jaeho Shin To: FreeBSD-gnats-submit@freebsd.org X-Send-Pr-Version: 3.113 Subject: ports/29158: New port: nML, a dialect/harmony of Standard ML and OCaml Sender: owner-freebsd-ports@FreeBSD.ORG Precedence: bulk List-ID: List-Archive: (Web Archive) List-Help: (List Instructions) List-Subscribe: List-Unsubscribe: X-Loop: FreeBSD.org >Number: 29158 >Category: ports >Synopsis: New port: nML, a dialect/harmony of Standard ML and OCaml >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports >State: open >Quarter: >Keywords: >Date-Required: >Class: change-request >Submitter-Id: current-users >Arrival-Date: Mon Jul 23 01:00:02 PDT 2001 >Closed-Date: >Last-Modified: >Originator: Jaeho Shin >Release: FreeBSD 4.3-STABLE i386 >Organization: ROPAS, KAIST >Environment: System: FreeBSD ego.mazic.org 4.3-STABLE FreeBSD 4.3-STABLE #4: Sun Jul 8 16:01:05 KST 2001 netj@ego.mazic.org:/usr/obj/usr/src/sys/EGO i386 >Description: A new port submission for nML. nML is a dialect/harmony of Standard ML and OCaml. nML is a higher-order and typed programming language. nML compiler system drives the static analysis technologies to the limit. nML compiler system will embody the result(s) of the LET project. nML does not stand against the C programming convention. WWW: http://ropas.kaist.ac.kr/n/ >How-To-Repeat: >Fix: # This is a shell archive. Save it in a file, remove anything before # this line, and then unpack it by entering "sh file". Note, it may # create directories; files and directories will be owned by you and # have default permissions. # # This archive contains: # # . # ./Makefile # ./pkg-comment # ./pkg-descr # ./pkg-plist # ./distinfo # echo c - . mkdir -p . > /dev/null 2>&1 echo x - ./Makefile sed 's/^X//' >./Makefile << 'END-of-./Makefile' X# New ports collection makefile for: nML X# Date created: 17 July 2001 X# Whom: Jaeho Shin X# X# $FreeBSD$ X# X XPORTNAME= nml XPORTVERSION= 0.91 XCATEGORIES= lang XMASTER_SITES= http://ropas.kaist.ac.kr/n/ X XMAINTAINER= netj@ropas.kaist.ac.kr X XHAS_CONFIGURE= yes X X.include END-of-./Makefile echo x - ./pkg-comment sed 's/^X//' >./pkg-comment << 'END-of-./pkg-comment' XA dialect/harmony of Standard ML and OCaml END-of-./pkg-comment echo x - ./pkg-descr sed 's/^X//' >./pkg-descr << 'END-of-./pkg-descr' XnML is a dialect/harmony of Standard ML and OCaml. XnML is a higher-order and typed programming language. XnML compiler system drives the static analysis technologies to the limit. XnML compiler system will embody the result(s) of the LET project. XnML does not stand against the C programming convention. X XWWW: http://ropas.kaist.ac.kr/n/ X X- Jaeho Shin Xnetj@ropas.kaist.ac.kr END-of-./pkg-descr echo x - ./pkg-plist sed 's/^X//' >./pkg-plist << 'END-of-./pkg-plist' Xbin/ncamlrun Xbin/nlex Xbin/nml Xbin/nmlc Xbin/nmlmake Xbin/nyacc Xlib/nml/_n_setmaphash.cmi Xlib/nml/_n_setmaphash.ml Xlib/nml/_n_typing.cmi Xlib/nml/_n_typing.ml Xlib/nml/arg.cmi Xlib/nml/arg.ml Xlib/nml/arg.mli Xlib/nml/array.cmi Xlib/nml/array.ml Xlib/nml/array.mli Xlib/nml/bigarray.cma Xlib/nml/bigarray.cmi Xlib/nml/bigarray.mli Xlib/nml/buffer.cmi Xlib/nml/buffer.ml Xlib/nml/buffer.mli Xlib/nml/callback.cmi Xlib/nml/callback.ml Xlib/nml/callback.mli Xlib/nml/caml/alloc.h Xlib/nml/caml/bigarray.h Xlib/nml/caml/callback.h Xlib/nml/caml/config.h Xlib/nml/caml/custom.h Xlib/nml/caml/fail.h Xlib/nml/caml/memory.h Xlib/nml/caml/misc.h Xlib/nml/caml/mlvalues.h Xlib/nml/camlheader Xlib/nml/camlheader_ur Xlib/nml/char.cmi Xlib/nml/char.ml Xlib/nml/char.mli Xlib/nml/condition.mli Xlib/nml/dbm.cma Xlib/nml/dbm.cmi Xlib/nml/dbm.mli Xlib/nml/digest.cmi Xlib/nml/digest.ml Xlib/nml/digest.mli Xlib/nml/dynlink.cma Xlib/nml/dynlink.cmi Xlib/nml/dynlink.mli Xlib/nml/event.mli Xlib/nml/extract_crc Xlib/nml/filename.cmi Xlib/nml/filename.ml Xlib/nml/filename.mli Xlib/nml/format.cmi Xlib/nml/format.ml Xlib/nml/format.mli Xlib/nml/gc.cmi Xlib/nml/gc.ml Xlib/nml/gc.mli Xlib/nml/genlex.cmi Xlib/nml/genlex.ml Xlib/nml/genlex.mli Xlib/nml/hashtbl.cmi Xlib/nml/hashtbl.ml Xlib/nml/hashtbl.mli Xlib/nml/int32.cmi Xlib/nml/int32.ml Xlib/nml/int32.mli Xlib/nml/int64.cmi Xlib/nml/int64.ml Xlib/nml/int64.mli Xlib/nml/interop.cmi Xlib/nml/interop.ml Xlib/nml/lazy.cmi Xlib/nml/lazy.ml Xlib/nml/lazy.mli Xlib/nml/lexing.cmi Xlib/nml/lexing.ml Xlib/nml/lexing.mli Xlib/nml/libbigarray.a Xlib/nml/libcamlrun.a Xlib/nml/libmldbm.a Xlib/nml/libstr.a Xlib/nml/libthreads.a Xlib/nml/libunix.a Xlib/nml/list.cmi Xlib/nml/list.ml Xlib/nml/list.mli Xlib/nml/map.cmi Xlib/nml/map.ml Xlib/nml/map.mli Xlib/nml/marshal.cmi Xlib/nml/marshal.ml Xlib/nml/marshal.mli Xlib/nml/mutex.mli Xlib/nml/nativeint.cmi Xlib/nml/nativeint.ml Xlib/nml/nativeint.mli Xlib/nml/obj.cmi Xlib/nml/obj.ml Xlib/nml/obj.mli Xlib/nml/oo.cmi Xlib/nml/oo.ml Xlib/nml/oo.mli Xlib/nml/otherlibs.nty Xlib/nml/parsing.cmi Xlib/nml/parsing.ml Xlib/nml/parsing.mli Xlib/nml/pervasives.cmi Xlib/nml/pervasives.ml Xlib/nml/pervasives.mli Xlib/nml/pervasives.nty Xlib/nml/printexc.cmi Xlib/nml/printexc.ml Xlib/nml/printexc.mli Xlib/nml/printf.cmi Xlib/nml/printf.ml Xlib/nml/printf.mli Xlib/nml/queue.cmi Xlib/nml/queue.ml Xlib/nml/queue.mli Xlib/nml/random.cmi Xlib/nml/random.ml Xlib/nml/random.mli Xlib/nml/set.cmi Xlib/nml/set.ml Xlib/nml/set.mli Xlib/nml/sort.cmi Xlib/nml/sort.ml Xlib/nml/sort.mli Xlib/nml/stack.cmi Xlib/nml/stack.ml Xlib/nml/stack.mli Xlib/nml/std_exit.cmi Xlib/nml/std_exit.cmo Xlib/nml/std_exit.ml Xlib/nml/stdlib.cma Xlib/nml/stdlib.nty Xlib/nml/str.cma Xlib/nml/str.cmi Xlib/nml/str.mli Xlib/nml/stream.cmi Xlib/nml/stream.ml Xlib/nml/stream.mli Xlib/nml/string.cmi Xlib/nml/string.ml Xlib/nml/string.mli Xlib/nml/sys.cmi Xlib/nml/sys.ml Xlib/nml/sys.mli Xlib/nml/thread.mli Xlib/nml/threadUnix.mli Xlib/nml/threads/condition.cmi Xlib/nml/threads/event.cmi Xlib/nml/threads/mutex.cmi Xlib/nml/threads/stdlib.cma Xlib/nml/threads/thread.cmi Xlib/nml/threads/threadUnix.cmi Xlib/nml/threads/threads.cma Xlib/nml/topvalue.cmi Xlib/nml/topvalue.ml Xlib/nml/topvalue.mli Xlib/nml/unix.cma Xlib/nml/unix.cmi Xlib/nml/unix.mli Xlib/nml/unix.nty Xlib/nml/weak.cmi Xlib/nml/weak.ml Xlib/nml/weak.mli X@dirrm lib/nml/caml X@dirrm lib/nml/threads X@dirrm lib/nml END-of-./pkg-plist echo x - ./distinfo sed 's/^X//' >./distinfo << 'END-of-./distinfo' XMD5 (nml-0.91.tar.gz) = 5167d5a0eb7f2fa8170c5fe8bb694f96 END-of-./distinfo exit >Release-Note: >Audit-Trail: >Unformatted: To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-ports" in the body of the message