blob: 78ce04a12b9da103ef435d6f5604f5838832715b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
$NetBSD: patch-driver_main_args.mli,v 1.2 2015/06/30 11:08:47 jaapb Exp $
pkgsrc_runtime flag
--- driver/main_args.mli.orig 2015-05-12 15:31:26.000000000 +0000
+++ driver/main_args.mli
@@ -70,6 +70,7 @@ module type Compiler_options = sig
val _output_obj : unit -> unit
val _output_complete_obj : unit -> unit
val _pack : unit -> unit
+ val _pkgsrc_runtime : unit -> unit
val _pp : string -> unit
val _principal : unit -> unit
val _rectypes : unit -> unit
|