equal
deleted
inserted
replaced
388 { |
388 { |
389 val lib_path = Path.explode("$ISABELLE_SQLITE_HOME/" + Platform.jvm_platform) |
389 val lib_path = Path.explode("$ISABELLE_SQLITE_HOME/" + Platform.jvm_platform) |
390 val lib_name = |
390 val lib_name = |
391 File.find_files(lib_path.file) match { |
391 File.find_files(lib_path.file) match { |
392 case List(file) => file.getName |
392 case List(file) => file.getName |
393 case _ => error("Exactly file expected in directory " + lib_path.expand) |
393 case _ => error("Exactly one file expected in directory " + lib_path.expand) |
394 } |
394 } |
395 System.setProperty("org.sqlite.lib.path", File.platform_path(lib_path)) |
395 System.setProperty("org.sqlite.lib.path", File.platform_path(lib_path)) |
396 System.setProperty("org.sqlite.lib.name", lib_name) |
396 System.setProperty("org.sqlite.lib.name", lib_name) |
397 |
397 |
398 Class.forName("org.sqlite.JDBC") |
398 Class.forName("org.sqlite.JDBC") |