From a5df357d52b8ca2a9a8f0f6008b54c5bab693548 Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Wed, 18 May 2022 15:13:30 +0100 Subject: build: move project `resources` folder --- pom.xml | 17 +++++++-------- src/main/java/resources/_default_pagoda.properties | 13 ----------- src/main/java/resources/log4j.properties | 25 ---------------------- src/main/java/resources/pagoda.properties | 13 ----------- src/main/resources/_default_pagoda.properties | 13 +++++++++++ src/main/resources/log4j.properties | 25 ++++++++++++++++++++++ src/main/resources/pagoda.properties | 13 +++++++++++ 7 files changed, 59 insertions(+), 60 deletions(-) delete mode 100644 src/main/java/resources/_default_pagoda.properties delete mode 100644 src/main/java/resources/log4j.properties delete mode 100644 src/main/java/resources/pagoda.properties create mode 100644 src/main/resources/_default_pagoda.properties create mode 100644 src/main/resources/log4j.properties create mode 100644 src/main/resources/pagoda.properties diff --git a/pom.xml b/pom.xml index 3fe8d3c..039a28a 100644 --- a/pom.xml +++ b/pom.xml @@ -235,20 +235,19 @@ + + + src/main/resources + + pagoda.properties + + + - - - - - - - - - diff --git a/src/main/java/resources/_default_pagoda.properties b/src/main/java/resources/_default_pagoda.properties deleted file mode 100644 index 7bd5dd3..0000000 --- a/src/main/java/resources/_default_pagoda.properties +++ /dev/null @@ -1,13 +0,0 @@ -debug=false -useAlwaysSimpleUpperBound=false -#skolemUpperBound=DISABLED -skolemUpperBound=AFTER_SUMMARISATION -#skolemUpperBound=BEFORE_SUMMARISATION -skolemDepth=10 - -# seems ok for -Xmx6g -maxTriplesInSkolemStore=2500000 - -toCallHermit=true - -statisticsDir=statistics \ No newline at end of file diff --git a/src/main/java/resources/log4j.properties b/src/main/java/resources/log4j.properties deleted file mode 100644 index 52688d5..0000000 --- a/src/main/java/resources/log4j.properties +++ /dev/null @@ -1,25 +0,0 @@ -log = ./logs -log4j.rootLogger=DEBUG, CONSOLE, FILE_LAST, FILE - -log4j.appender.CONSOLE=org.apache.log4j.ConsoleAppender -log4j.appender.CONSOLE.layout=org.apache.log4j.PatternLayout -log4j.appender.CONSOLE.layout.ConversionPattern=%d{yyyy-MM-dd HH:mm:ss} %c - %m%n -log4j.appender.CONSOLE.Target=System.out -log4j.appender.CONSOLE.Threshold=INFO - -log4j.appender.FILE_LAST=org.apache.log4j.RollingFileAppender -log4j.appender.FILE_LAST.File=${log}/pagoda_last_only.log -log4j.appender.FILE_LAST.MaxFileSize=10MB -log4j.appender.FILE_LAST.MaxBackupIndex=3 -log4j.appender.FILE_LAST.layout=org.apache.log4j.PatternLayout -log4j.appender.FILE_LAST.layout.conversionPattern=[%5p] %d{yyyy-MM-dd HH:mm:ss} %c - %m%n -log4j.appender.FILE_LAST.append=false -log4j.appender.FILE_LAST.Threshold=DEBUG - -log4j.appender.FILE=org.apache.log4j.RollingFileAppender -log4j.appender.FILE.File=${log}/pagoda.log -log4j.appender.FILE.MaxFileSize=10MB -log4j.appender.FILE.MaxBackupIndex=3 -log4j.appender.FILE.layout=org.apache.log4j.PatternLayout -log4j.appender.FILE.layout.conversionPattern=[%5p] %d{yyyy-MM-dd HH:mm:ss} %c - %m%n -log4j.appender.FILE.Threshold=DEBUG \ No newline at end of file diff --git a/src/main/java/resources/pagoda.properties b/src/main/java/resources/pagoda.properties deleted file mode 100644 index 646744c..0000000 --- a/src/main/java/resources/pagoda.properties +++ /dev/null @@ -1,13 +0,0 @@ -debug=true -useAlwaysSimpleUpperBound=false -#skolemUpperBound=DISABLED -skolemUpperBound=AFTER_SUMMARISATION -#skolemUpperBound=BEFORE_SUMMARISATION -skolemDepth=10 - -# seems ok for -Xmx6g -maxTriplesInSkolemStore=2500000 - -toCallHermit=true - -statisticsDir=/home/alessandro/Dropbox/Oxford/PAGOdA/statistics \ No newline at end of file diff --git a/src/main/resources/_default_pagoda.properties b/src/main/resources/_default_pagoda.properties new file mode 100644 index 0000000..7bd5dd3 --- /dev/null +++ b/src/main/resources/_default_pagoda.properties @@ -0,0 +1,13 @@ +debug=false +useAlwaysSimpleUpperBound=false +#skolemUpperBound=DISABLED +skolemUpperBound=AFTER_SUMMARISATION +#skolemUpperBound=BEFORE_SUMMARISATION +skolemDepth=10 + +# seems ok for -Xmx6g +maxTriplesInSkolemStore=2500000 + +toCallHermit=true + +statisticsDir=statistics \ No newline at end of file diff --git a/src/main/resources/log4j.properties b/src/main/resources/log4j.properties new file mode 100644 index 0000000..52688d5 --- /dev/null +++ b/src/main/resources/log4j.properties @@ -0,0 +1,25 @@ +log = ./logs +log4j.rootLogger=DEBUG, CONSOLE, FILE_LAST, FILE + +log4j.appender.CONSOLE=org.apache.log4j.ConsoleAppender +log4j.appender.CONSOLE.layout=org.apache.log4j.PatternLayout +log4j.appender.CONSOLE.layout.ConversionPattern=%d{yyyy-MM-dd HH:mm:ss} %c - %m%n +log4j.appender.CONSOLE.Target=System.out +log4j.appender.CONSOLE.Threshold=INFO + +log4j.appender.FILE_LAST=org.apache.log4j.RollingFileAppender +log4j.appender.FILE_LAST.File=${log}/pagoda_last_only.log +log4j.appender.FILE_LAST.MaxFileSize=10MB +log4j.appender.FILE_LAST.MaxBackupIndex=3 +log4j.appender.FILE_LAST.layout=org.apache.log4j.PatternLayout +log4j.appender.FILE_LAST.layout.conversionPattern=[%5p] %d{yyyy-MM-dd HH:mm:ss} %c - %m%n +log4j.appender.FILE_LAST.append=false +log4j.appender.FILE_LAST.Threshold=DEBUG + +log4j.appender.FILE=org.apache.log4j.RollingFileAppender +log4j.appender.FILE.File=${log}/pagoda.log +log4j.appender.FILE.MaxFileSize=10MB +log4j.appender.FILE.MaxBackupIndex=3 +log4j.appender.FILE.layout=org.apache.log4j.PatternLayout +log4j.appender.FILE.layout.conversionPattern=[%5p] %d{yyyy-MM-dd HH:mm:ss} %c - %m%n +log4j.appender.FILE.Threshold=DEBUG \ No newline at end of file diff --git a/src/main/resources/pagoda.properties b/src/main/resources/pagoda.properties new file mode 100644 index 0000000..646744c --- /dev/null +++ b/src/main/resources/pagoda.properties @@ -0,0 +1,13 @@ +debug=true +useAlwaysSimpleUpperBound=false +#skolemUpperBound=DISABLED +skolemUpperBound=AFTER_SUMMARISATION +#skolemUpperBound=BEFORE_SUMMARISATION +skolemDepth=10 + +# seems ok for -Xmx6g +maxTriplesInSkolemStore=2500000 + +toCallHermit=true + +statisticsDir=/home/alessandro/Dropbox/Oxford/PAGOdA/statistics \ No newline at end of file -- cgit v1.2.3