Loading _build/deps-source/souffle/

  OK  name: souffle
  OK  version: 2.4.1
  OK  wedge-make
  OK  wedge-install
  OK  wedge-smoke-test

Loaded _build/deps-source/souffle/

SOURCE /home/build/oil/_build/deps-source/souffle/souffle-2.4.1
~/oil/_build/wedge/tmp/souffle ~/oil
~/oil/_build/wedge/tmp/souffle ~/oil/_build/wedge/tmp/souffle ~/oil
-- Found Git: /usr/bin/git (found version "2.43.4") 
-- Building souffle version 15a56e1fc
CMake Warning at CMakeLists.txt:41 (message):
  Cannot find a valid tag: cmake project version will be incomplete


-- The CXX compiler identification is GNU 13.2.1
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /usr/bin/c++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Build Type: Release
-- Found FLEX: /usr/bin/flex (found version "2.6.4") 
-- Found BISON: /usr/bin/bison (found suitable version "3.8.2", minimum required is "3.0.4") 
-- Found ZLIB: /lib/libz.so (found version "1.3.1")  
-- Found LibFFI: /usr/include  
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success
-- Found Threads: TRUE  
-- Found OpenMP_CXX: -fopenmp (found version "4.5") 
-- Found OpenMP: TRUE (found version "4.5")  
grep: unrecognized option: G
BusyBox v1.36.1 (2024-05-21 13:57:33 UTC) multi-call binary.

Usage: grep [-HhnlLoqvsrRiwFE] [-m N] [-A|B|C N] { PATTERN | -e PATTERN... | -f FILE... } [FILE]...

Search for PATTERN in FILEs (or stdin)

	-H	Add 'filename:' prefix
	-h	Do not add 'filename:' prefix
	-n	Add 'line_no:' prefix
	-l	Show only names of files that match
	-L	Show only names of files that don't match
	-c	Show only count of matching lines
	-o	Show only the matching part of line
	-q	Quiet. Return 0 if PATTERN is found, 1 otherwise
	-v	Select non-matching lines
	-s	Suppress open and read errors
	-r	Recurse
	-R	Recurse and dereference symlinks
	-i	Ignore case
	-w	Match whole words only
	-x	Match whole lines only
	-F	PATTERN is a literal (not regexp)
	-E	PATTERN is an extended regexp
	-m N	Match up to N times per file
	-A N	Print N lines of trailing context
	-B N	Print N lines of leading context
	-C N	Same as '-A N -B N'
	-e PTRN	Pattern to match
	-f FILE	Read pattern from file
grep: unrecognized option: G
BusyBox v1.36.1 (2024-05-21 13:57:33 UTC) multi-call binary.

Usage: grep [-HhnlLoqvsrRiwFE] [-m N] [-A|B|C N] { PATTERN | -e PATTERN... | -f FILE... } [FILE]...

Search for PATTERN in FILEs (or stdin)

	-H	Add 'filename:' prefix
	-h	Do not add 'filename:' prefix
	-n	Add 'line_no:' prefix
	-l	Show only names of files that match
	-L	Show only names of files that don't match
	-c	Show only count of matching lines
	-o	Show only the matching part of line
	-q	Quiet. Return 0 if PATTERN is found, 1 otherwise
	-v	Select non-matching lines
	-s	Suppress open and read errors
	-r	Recurse
	-R	Recurse and dereference symlinks
	-i	Ignore case
	-w	Match whole words only
	-x	Match whole lines only
	-F	PATTERN is a literal (not regexp)
	-E	PATTERN is an extended regexp
	-m N	Match up to N times per file
	-A N	Print N lines of trailing context
	-B N	Print N lines of leading context
	-C N	Same as '-A N -B N'
	-e PTRN	Pattern to match
	-f FILE	Read pattern from file
-- Configuring done (0.4s)
-- Generating done (0.0s)
-- Build files have been written to: /home/build/oil/_build/wedge/tmp/souffle/build
~/oil/_build/wedge/tmp/souffle ~/oil
~/oil
Loading _build/deps-source/souffle/

  OK  name: souffle
  OK  version: 2.4.1
  OK  wedge-make
  OK  wedge-install
  OK  wedge-smoke-test

Loaded _build/deps-source/souffle/

~/oil/_build/wedge/tmp/souffle ~/oil
[  1%] [FLEX][scanner] Building scanner with flex 2.6.4
[  1%] [BISON][parser] Building parser with bison 3.8.2
[  1%] Building CXX object src/CMakeFiles/libsouffle.dir/FunctorOps.cpp.o
[  2%] Building CXX object src/CMakeFiles/libsouffle.dir/Global.cpp.o
[  3%] Building CXX object src/CMakeFiles/libsouffle.dir/MainDriver.cpp.o
[  3%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/Aggregator.cpp.o
[  4%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/IntrinsicAggregator.cpp.o
[  4%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/UserDefinedAggregator.cpp.o
[  5%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/AlgebraicDataType.cpp.o
[  6%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/AliasType.cpp.o
[  6%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/Atom.cpp.o
[  7%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/Attribute.cpp.o
[  7%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/BinaryConstraint.cpp.o
[  8%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/BooleanConstraint.cpp.o
[  9%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/BranchType.cpp.o
[  9%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/BranchInit.cpp.o
[ 10%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/Clause.cpp.o
[ 10%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/SubsumptiveClause.cpp.o
[ 11%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/Component.cpp.o
[ 11%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/ComponentInit.cpp.o
[ 12%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/ComponentType.cpp.o
[ 13%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/Constant.cpp.o
[ 13%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/Counter.cpp.o
[ 14%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/Directive.cpp.o
[ 14%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/ExecutionOrder.cpp.o
[ 15%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/ExecutionPlan.cpp.o
[ 16%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/FunctorDeclaration.cpp.o
[ 16%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/FunctionalConstraint.cpp.o
[ 17%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/IntrinsicFunctor.cpp.o
[ 17%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/IterationCounter.cpp.o
[ 18%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/Negation.cpp.o
[ 19%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/NilConstant.cpp.o
[ 19%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/Node.cpp.o
[ 20%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/NumericConstant.cpp.o
[ 20%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/Pragma.cpp.o
[ 21%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/Program.cpp.o
[ 21%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/QualifiedName.cpp.o
[ 22%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/RecordInit.cpp.o
[ 23%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/RecordType.cpp.o
[ 23%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/Relation.cpp.o
[ 24%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/StringConstant.cpp.o
[ 24%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/SubsetType.cpp.o
[ 25%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/Term.cpp.o
[ 26%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/TranslationUnit.cpp.o
[ 26%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/Type.cpp.o
[ 27%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/TypeCast.cpp.o
[ 27%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/UnionType.cpp.o
[ 28%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/UnnamedVariable.cpp.o
[ 29%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/UserDefinedFunctor.cpp.o
[ 29%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/Variable.cpp.o
[ 30%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/analysis/Aggregate.cpp.o
[ 30%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/analysis/ClauseNormalisation.cpp.o
[ 31%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/analysis/ComponentLookup.cpp.o
[ 31%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/analysis/Functor.cpp.o
[ 32%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/analysis/Ground.cpp.o
[ 33%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/analysis/IOType.cpp.o
[ 33%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/analysis/PrecedenceGraph.cpp.o
[ 34%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/analysis/ProfileUse.cpp.o
[ 34%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/analysis/RecursiveClauses.cpp.o
[ 35%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/analysis/RedundantRelations.cpp.o
[ 36%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/analysis/RelationSchedule.cpp.o
[ 36%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/analysis/JoinSize.cpp.o
[ 37%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/analysis/SCCGraph.cpp.o
[ 37%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/analysis/TopologicallySortedSCCGraph.cpp.o
[ 38%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/analysis/typesystem/PolymorphicObjects.cpp.o
[ 39%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/analysis/typesystem/SumTypeBranches.cpp.o
[ 39%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/analysis/typesystem/Type.cpp.o
[ 40%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/analysis/typesystem/TypeConstraints.cpp.o
[ 40%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/analysis/typesystem/TypeConstrainsAnalysis.cpp.o
[ 41%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/analysis/typesystem/TypeSystem.cpp.o
[ 41%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/analysis/typesystem/TypeEnvironment.cpp.o
[ 42%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/AddNullariesToAtomlessAggregates.cpp.o
[ 43%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/ComponentChecker.cpp.o
[ 43%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/ComponentInstantiation.cpp.o
[ 44%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/DebugReporter.cpp.o
[ 44%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/DebugDeltaRelation.cpp.o
[ 45%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/ExecutionPlanChecker.cpp.o
[ 46%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/ExpandEqrels.cpp.o
[ 46%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/FoldAnonymousRecords.cpp.o
[ 47%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/GroundedTermsChecker.cpp.o
[ 47%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/GroundWitnesses.cpp.o
[ 48%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/InlineRelations.cpp.o
[ 49%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/MagicSet.cpp.o
[ 49%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/MaterializeAggregationQueries.cpp.o
[ 50%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/MaterializeSingletonAggregation.cpp.o
[ 50%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/Meta.cpp.o
[ 51%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/MinimiseProgram.cpp.o
[ 51%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/NameUnnamedVariables.cpp.o
[ 52%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/NormaliseGenerators.cpp.o
[ 53%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/PartitionBodyLiterals.cpp.o
[ 53%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/PragmaChecker.cpp.o
[ 54%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/ReduceExistentials.cpp.o
[ 54%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/RemoveBooleanConstraints.cpp.o
[ 55%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/RemoveEmptyRelations.cpp.o
[ 56%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/RemoveRedundantRelations.cpp.o
[ 56%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/RemoveRedundantSums.cpp.o
[ 57%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/RemoveRelationCopies.cpp.o
[ 57%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/ReplaceSingletonVariables.cpp.o
[ 58%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/ResolveAliases.cpp.o
[ 59%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/ResolveAnonymousRecordAliases.cpp.o
[ 59%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/SemanticChecker.cpp.o
[ 60%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/SimplifyConstantBinaryConstraints.cpp.o
[ 60%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/SubsumptionQualifier.cpp.o
[ 61%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/SimplifyAggregateTargetExpression.cpp.o
[ 61%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/Transformer.cpp.o
[ 62%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/TypeChecker.cpp.o
[ 63%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/transform/UniqueAggregationVariables.cpp.o
[ 63%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/utility/BindingStore.cpp.o
[ 64%] Building CXX object src/CMakeFiles/libsouffle.dir/ast2ram/utility/SipsMetric.cpp.o
[ 64%] Building CXX object src/CMakeFiles/libsouffle.dir/ast2ram/utility/SipGraph.cpp.o
[ 65%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/utility/Utils.cpp.o
[ 66%] Building CXX object src/CMakeFiles/libsouffle.dir/ast2ram/provenance/ClauseTranslator.cpp.o
[ 66%] Building CXX object src/CMakeFiles/libsouffle.dir/ast2ram/provenance/ConstraintTranslator.cpp.o
[ 67%] Building CXX object src/CMakeFiles/libsouffle.dir/ast2ram/provenance/SubproofGenerator.cpp.o
[ 67%] Building CXX object src/CMakeFiles/libsouffle.dir/ast2ram/provenance/TranslationStrategy.cpp.o
[ 68%] Building CXX object src/CMakeFiles/libsouffle.dir/ast2ram/provenance/UnitTranslator.cpp.o
[ 69%] Building CXX object src/CMakeFiles/libsouffle.dir/ast2ram/seminaive/ClauseTranslator.cpp.o
[ 69%] Building CXX object src/CMakeFiles/libsouffle.dir/ast2ram/seminaive/ConstraintTranslator.cpp.o
[ 70%] Building CXX object src/CMakeFiles/libsouffle.dir/ast2ram/seminaive/TranslationStrategy.cpp.o
[ 70%] Building CXX object src/CMakeFiles/libsouffle.dir/ast2ram/seminaive/UnitTranslator.cpp.o
[ 71%] Building CXX object src/CMakeFiles/libsouffle.dir/ast2ram/seminaive/ValueTranslator.cpp.o
[ 71%] Building CXX object src/CMakeFiles/libsouffle.dir/ast2ram/utility/Utils.cpp.o
[ 72%] Building CXX object src/CMakeFiles/libsouffle.dir/ast2ram/utility/TranslatorContext.cpp.o
[ 73%] Building CXX object src/CMakeFiles/libsouffle.dir/ast2ram/utility/ValueIndex.cpp.o
[ 73%] Building CXX object src/CMakeFiles/libsouffle.dir/interpreter/Engine.cpp.o
[ 74%] Building CXX object src/CMakeFiles/libsouffle.dir/interpreter/Generator.cpp.o
[ 74%] Building CXX object src/CMakeFiles/libsouffle.dir/interpreter/BrieIndex.cpp.o
[ 75%] Building CXX object src/CMakeFiles/libsouffle.dir/interpreter/BTreeIndex.cpp.o
[ 76%] Building CXX object src/CMakeFiles/libsouffle.dir/interpreter/BTreeDeleteIndex.cpp.o
[ 76%] Building CXX object src/CMakeFiles/libsouffle.dir/interpreter/EqrelIndex.cpp.o
[ 77%] Building CXX object src/CMakeFiles/libsouffle.dir/interpreter/ProvenanceIndex.cpp.o
[ 77%] Building CXX object src/CMakeFiles/libsouffle.dir/parser/ParserDriver.cpp.o
[ 78%] Building CXX object src/CMakeFiles/libsouffle.dir/parser/ParserUtils.cpp.o
[ 79%] Building CXX object src/CMakeFiles/libsouffle.dir/parser/SrcLocation.cpp.o
[ 79%] Building CXX object src/CMakeFiles/libsouffle.dir/parser/VirtualFileSystem.cpp.o
[ 80%] Building CXX object src/CMakeFiles/libsouffle.dir/ram/Node.cpp.o
[ 80%] Building CXX object src/CMakeFiles/libsouffle.dir/ram/TranslationUnit.cpp.o
[ 81%] Building CXX object src/CMakeFiles/libsouffle.dir/ram/analysis/Complexity.cpp.o
[ 81%] Building CXX object src/CMakeFiles/libsouffle.dir/ram/analysis/Index.cpp.o
[ 82%] Building CXX object src/CMakeFiles/libsouffle.dir/ram/analysis/Level.cpp.o
[ 83%] Building CXX object src/CMakeFiles/libsouffle.dir/ram/analysis/Relation.cpp.o
[ 83%] Building CXX object src/CMakeFiles/libsouffle.dir/ram/transform/IfExistsConversion.cpp.o
[ 84%] Building CXX object src/CMakeFiles/libsouffle.dir/ram/transform/CollapseFilters.cpp.o
[ 84%] Building CXX object src/CMakeFiles/libsouffle.dir/ram/transform/EliminateDuplicates.cpp.o
[ 85%] Building CXX object src/CMakeFiles/libsouffle.dir/ram/transform/ExpandFilter.cpp.o
[ 86%] Building CXX object src/CMakeFiles/libsouffle.dir/ram/transform/HoistAggregate.cpp.o
[ 86%] Building CXX object src/CMakeFiles/libsouffle.dir/ram/transform/HoistConditions.cpp.o
[ 87%] Building CXX object src/CMakeFiles/libsouffle.dir/ram/transform/IfConversion.cpp.o
[ 87%] Building CXX object src/CMakeFiles/libsouffle.dir/ram/transform/MakeIndex.cpp.o
[ 88%] Building CXX object src/CMakeFiles/libsouffle.dir/ram/transform/Parallel.cpp.o
[ 89%] Building CXX object src/CMakeFiles/libsouffle.dir/ram/transform/ReorderConditions.cpp.o
[ 89%] Building CXX object src/CMakeFiles/libsouffle.dir/ram/transform/ReorderFilterBreak.cpp.o
[ 90%] Building CXX object src/CMakeFiles/libsouffle.dir/ram/transform/Transformer.cpp.o
[ 90%] Building CXX object src/CMakeFiles/libsouffle.dir/ram/transform/TupleId.cpp.o
[ 91%] Building CXX object src/CMakeFiles/libsouffle.dir/ram/utility/NodeMapper.cpp.o
[ 91%] Building CXX object src/CMakeFiles/libsouffle.dir/reports/ErrorReport.cpp.o
[ 92%] Building CXX object src/CMakeFiles/libsouffle.dir/reports/DebugReport.cpp.o
[ 93%] Building CXX object src/CMakeFiles/libsouffle.dir/synthesiser/Synthesiser.cpp.o
[ 93%] Building CXX object src/CMakeFiles/libsouffle.dir/synthesiser/Relation.cpp.o
[ 94%] Building CXX object src/CMakeFiles/libsouffle.dir/synthesiser/Utils.cpp.o
[ 94%] Building CXX object src/CMakeFiles/libsouffle.dir/synthesiser/GenDb.cpp.o
[ 95%] Building CXX object src/CMakeFiles/libsouffle.dir/parser/scanner.cc.o
[ 96%] Building CXX object src/CMakeFiles/libsouffle.dir/parser/parser.cc.o
[ 96%] Linking CXX static library libsouffle.a
[ 96%] Built target libsouffle
[ 96%] Building CXX object src/CMakeFiles/compiled.dir/dummy.cpp.o
[ 97%] Linking CXX static library libcompiled.a
[ 97%] Built target compiled
[ 98%] Building CXX object src/CMakeFiles/souffle.dir/souffle.cpp.o
[ 98%] Linking CXX executable souffle
[ 98%] Built target souffle
[ 99%] Building CXX object src/CMakeFiles/souffleprof.dir/souffle_prof.cpp.o
[100%] Linking CXX executable souffleprof
[100%] Built target souffleprof
Install the project...
-- Install configuration: "Release"
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/CompiledSouffle.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/RamTypes.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/BinaryConstraintOps.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/utility
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/utility/ContainerUtil.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/utility/CacheUtil.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/utility/Visitor.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/utility/EvaluatorUtil.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/utility/SubProcess.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/utility/NodeMapper.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/utility/SubsetCache.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/utility/Iteration.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/utility/VisitorFwd.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/utility/GetOptLong.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/utility/NodeMapperFwd.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/utility/GetOptLongImpl.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/utility/ParallelUtil.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/utility/StringUtil.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/utility/tinyformat.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/utility/FunctionalUtil.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/utility/StreamUtil.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/utility/General.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/utility/json11.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/utility/Types.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/utility/span.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/utility/MiscUtil.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/utility/FileUtil.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/utility/DynamicCasting.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/SignalHandler.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/io
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/io/SerialisationStream.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/io/ReadStreamJSON.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/io/ReadStream.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/io/ReadStreamSQLite.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/io/WriteStreamCSV.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/io/WriteStreamJSON.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/io/WriteStreamSQLite.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/io/IOSystem.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/io/gzfstream.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/io/ReadStreamCSV.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/io/WriteStream.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/profile
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/profile/htmlJsMain.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/profile/Table.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/profile/OutputProcessor.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/profile/htmlJsChartistMin.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/profile/EventProcessor.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/profile/Iteration.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/profile/htmlCssChartist.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/profile/htmlJsTableSort.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/profile/Reader.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/profile/Row.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/profile/DataComparator.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/profile/ProfileEvent.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/profile/HtmlGenerator.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/profile/Tui.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/profile/Relation.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/profile/Cell.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/profile/htmlJsChartistPlugin.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/profile/UserInputReader.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/profile/ProgramRun.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/profile/Cli.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/profile/CellInterface.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/profile/htmlCssStyle.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/profile/htmlJsUtil.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/profile/htmlMain.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/profile/ProfileDatabase.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/profile/StringUtils.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/profile/Rule.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/profile/Logger.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/provenance
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/provenance/Explain.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/provenance/ExplainProvenance.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/provenance/ExplainTree.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/provenance/ExplainProvenanceImpl.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/SouffleFunctor.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/datastructure
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/datastructure/Table.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/datastructure/EquivalenceRelation.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/datastructure/BTree.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/datastructure/EqRel.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/datastructure/SymbolTableImpl.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/datastructure/Brie.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/datastructure/ConcurrentFlyweight.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/datastructure/UnionFind.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/datastructure/LambdaBTree.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/datastructure/PiggyList.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/datastructure/ConcurrentCache.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/datastructure/BTreeUtil.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/datastructure/RecordTableImpl.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/datastructure/Graph.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/datastructure/Nullaries.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/datastructure/Info.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/datastructure/ConcurrentInsertOnlyHashMap.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/datastructure/BTreeDelete.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/swig
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/swig/SwigInterface.i
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/swig/SwigInterface.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/RecordTable.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/TypeAttribute.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/SouffleInterface.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/CompiledOptions.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/include/souffle/SymbolTable.h
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/bin/souffle
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/bin/souffleprof
-- Installing: /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/bin/souffle-compile.py
~/oil
Loading _build/deps-source/souffle/

  OK  name: souffle
  OK  version: 2.4.1
  OK  wedge-make
  OK  wedge-install
  OK  wedge-smoke-test

Loaded _build/deps-source/souffle/

  SMOKE TEST
~/oil/_build/wedge/smoke-test/souffle ~/oil
+ wedge-smoke-test /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1 /home/build/oil/_build/deps-source/souffle/
+ local install_dir=/home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1
+ /home/build/wedge/oils-for-unix.org/pkg/souffle/2.4.1/bin/souffle -g test test.dl
cannot open file test.dl