7 lines
285 B
Text
7 lines
285 B
Text
$NetBSD: patch-aa,v 1.3 2004/03/24 21:22:00 airhead Exp $
|
|
|
|
--- caml.orig 1998-02-23 17:32:01.000000000 +0100
|
|
+++ caml 2004-03-24 18:08:54.000000000 +0100
|
|
@@ -1 +1 @@
|
|
-filter.$ARCH | camllight my_little_caml.$ARCH
|
|
+(echo "include \"@HOLDIR@/hol.ml\";;"; hol-filter) | camllight camlnum
|