(* Copyright (C) 1992, Digital Equipment Corporation           *)
(* All rights reserved.                                        *)
(* See the file COPYRIGHT for a full description.              *)

(* File: DriverConfig.i3                                       *)
(* Last modified on Tue Apr 21 17:17:01 PDT 1992 by muller     *)
(*      modified on Tue Feb 11 08:04:10 PST 1992 by kalsow     *)

(* This interface provides the site-specific defaults needed by
   the Modula-3 driver. *)

INTERFACE DriverConfig;

<*EXTERNAL DriverConfig__args *>
VAR args: ADDRESS; (* statically initialized by a makefile/C kludge *)

TYPE ArgList = REF ARRAY OF TEXT;

PROCEDURE GetArgs (): ArgList;

END DriverConfig.