Fix journal-list.mv generation

koppor · Sep 3, 2023 · 1d29c52 · 1d29c52
1 parent cafd30b
commit 1d29c52
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/src/main/java/org/jabref/cli/JournalListMvGenerator.java b/src/main/java/org/jabref/cli/JournalListMvGenerator.java
@@ -35,11 +35,15 @@ public static void main(String[] args) throws IOException {
                 "journal_abbreviations_ieee_strings.csv"
                 );
 
-        Path journalListMvFile = Path.of("build", "resources", "main", "journals");
+        Path journalListMvFile = Path.of("build", "resources", "main", "journals", "journal-list.mv");
         Files.deleteIfExists(journalListMvFile);
+        Files.createDirectories(journalListMvFile.getParent());
 
         try (DirectoryStream<Path> stream = Files.newDirectoryStream(abbreviationsDirectory, "*.csv");
-             MVStore store = MVStore.open(journalListMvFile.toString())) {
+             MVStore store = new MVStore.Builder().
+                fileName(journalListMvFile.toString()).
+                compressHigh().
+                open()) {
             MVMap<String, Abbreviation> fullToAbbreviation = store.openMap("FullToAbbreviation");
             stream.forEach(Unchecked.consumer(path -> {
                 String fileName = path.getFileName().toString();