1(* Copyright (C) 1997-2001 by Ken Friis Larsen and Jakob Lichtenberg. *)
2
3structure MuddyCore =
4struct
5
6open Dynlib
7
8local
9  val path = case Process.getEnv "MUDDYHOME" of
10                SOME p => Path.concat (p, "muddy.so")
11              | NONE   => "muddy.so"
12  val path = Globals.HOLDIR^"/examples/muddy/muddyC/muddy.so"
13  val hdl  = dlopen {lib = path, flag = RTLD_NOW, global = false}
14in
15  val symb = dlsym hdl
16  fun cur2 h (a,b) = app2 h a b
17  fun cur3 h (a,b,c) = app3 h a b c
18  fun cur23 h a (b,c) = app3 h a b c
19end
20
21end
22