Skip to content

Commit

Permalink
Moving copied native library files down into own folder.
Browse files Browse the repository at this point in the history
	modified:   ide/cgen/src/main/java/org/overture/ide/plugins/cgen/commands/Vdm2CCommand.java
  • Loading branch information
Victor Bandur committed Jun 9, 2016
1 parent 85d512c commit 5c7ea3a
Showing 1 changed file with 6 additions and 1 deletion.
Expand Up @@ -216,7 +216,7 @@ protected IStatus run(IProgressMonitor monitor)
CodeGenConsole.GetInstance().println("Code generation completed successfully.");
CodeGenConsole.GetInstance().println("Copying native library files."); //mvn install in vdm2c and mvn package here makes this work
//Copy files from vdmclib.jar.
copyNativeLibFiles(cCodeOutputFolder);
copyNativeLibFiles(new File(cCodeOutputFolder + File.separator + "nativelib"));
//
// } catch (Exception e)
// {
Expand Down Expand Up @@ -267,6 +267,11 @@ private void copyNativeLibFiles(File outfolder)
JarInputStream jarstream = null;
JarEntry filejarentry = null;

if(!outfolder.exists())
{
outfolder.mkdir();
}

try
{
jarfile = Vdm2CCommand.class.getClassLoader().getResourceAsStream("jars/vdmclib.jar");
Expand Down

0 comments on commit 5c7ea3a

Please sign in to comment.