|
@@ -856,6 +856,9 @@ try
|
|
|
("Target-specific",["--java-lib"],["-java-lib"],Arg.String (fun file ->
|
|
|
add_native_lib file false;
|
|
|
),"<file>","add an external JAR or class directory library");
|
|
|
+ ("Target-specific",["--java-lib-extern"],["-java-lib-extern"],Arg.String (fun file ->
|
|
|
+ add_native_lib file true;
|
|
|
+ ),"<file>","use an external JAR or class directory library for type checking");
|
|
|
("Target-specific",["--net-lib"],["-net-lib"],Arg.String (fun file ->
|
|
|
add_native_lib file false;
|
|
|
),"<file>[@std]","add an external .NET DLL file");
|