search

epfl-lara / lisa

Proof assistant based on first-order logic and set theory
Apache License 2.0
33 stars 18 forks source link

`sbt assembly` doesn't actually work #188

Closed sankalpgambhir closed 10 months ago

sankalpgambhir commented 11 months ago

Our README suggests the use of sbt assembly for packaging LISA as a library. This doesn't actually work right now:

sbt:lisa> assembly
[warn] multiple main classes detected: run 'show discoveredMainClasses' to see the list
[error] 32 errors were encountered during merge
[error] 32 errors were encountered during merge
[error] stack trace is suppressed; run 'last lisa-utils / assembly' for the full output
[error] stack trace is suppressed; run 'last assembly' for the full output
[error] (lisa-utils / assembly) deduplicate: different file contents found in the following:
[error] silex/ArraySource.class
[error] silex/ArraySource.class
[error] deduplicate: different file contents found in the following:
[error] silex/ArraySource.tasty
[error] silex/ArraySource.tasty
[error] deduplicate: different file contents found in the following:
[error] silex/CharLexers.class
[error] silex/CharLexers.class
[error] deduplicate: different file contents found in the following:
[error] silex/CharLexers.tasty
[error] silex/CharLexers.tasty
[error] deduplicate: different file contents found in the following:
[error] silex/IndexPositioner.class
[error] silex/IndexPositioner.class
[error] deduplicate: different file contents found in the following:
[error] silex/IndexPositioner.tasty
[error] silex/IndexPositioner.tasty
[error] deduplicate: different file contents found in the following:
[error] silex/IteratorSource.class
[error] silex/IteratorSource.class
[error] deduplicate: different file contents found in the following:
[error] silex/IteratorSource.tasty
[error] silex/IteratorSource.tasty
[error] deduplicate: different file contents found in the following:
[error] silex/Lexers.class
[error] silex/Lexers.class
[error] deduplicate: different file contents found in the following:
[error] silex/Lexers.tasty
[error] silex/Lexers.tasty
[error] deduplicate: different file contents found in the following:
[error] silex/NoPositioner.class
[error] silex/NoPositioner.class
[error] deduplicate: different file contents found in the following:
[error] silex/NoPositioner.tasty
[error] silex/NoPositioner.tasty
[error] deduplicate: different file contents found in the following:
[error] silex/Positioner.class
[error] silex/Positioner.class
[error] deduplicate: different file contents found in the following:
[error] silex/Positioner.tasty
[error] silex/Positioner.tasty
[error] deduplicate: different file contents found in the following:
[error] silex/ReaderSource.class
[error] silex/ReaderSource.class
[error] deduplicate: different file contents found in the following:
[error] silex/ReaderSource.tasty
[error] silex/ReaderSource.tasty
[error] deduplicate: different file contents found in the following:
[error] silex/RegExps.class
[error] silex/RegExps.class
[error] deduplicate: different file contents found in the following:
[error] silex/RegExps.tasty
[error] silex/RegExps.tasty
[error] deduplicate: different file contents found in the following:
[error] silex/Source.class
[error] silex/Source.class
[error] deduplicate: different file contents found in the following:
[error] silex/Source.tasty
[error] silex/Source.tasty
[error] deduplicate: different file contents found in the following:
[error] silex/StringPosition.class
[error] silex/StringPosition.class
[error] deduplicate: different file contents found in the following:
[error] silex/StringPosition.tasty
[error] silex/StringPosition.tasty
[error] deduplicate: different file contents found in the following:
[error] silex/StringPositioner.class
[error] silex/StringPositioner.class
[error] deduplicate: different file contents found in the following:
[error] silex/StringPositioner.tasty
[error] silex/StringPositioner.tasty
[error] deduplicate: different file contents found in the following:
[error] silex/StringSource.class
[error] silex/StringSource.class
[error] deduplicate: different file contents found in the following:
[error] silex/StringSource.tasty
[error] silex/StringSource.tasty
[error] deduplicate: different file contents found in the following:
[error] silex/package.class
[error] silex/package.class
[error] deduplicate: different file contents found in the following:
[error] silex/package.tasty
[error] silex/package.tasty
[error] deduplicate: different file contents found in the following:
[error] silex/util/BufferedIterator.class
[error] silex/util/BufferedIterator.class
[error] deduplicate: different file contents found in the following:
[error] silex/util/BufferedIterator.tasty
[error] silex/util/BufferedIterator.tasty
[error] deduplicate: different file contents found in the following:
[error] silex/util/Zippers.class
[error] silex/util/Zippers.class
[error] deduplicate: different file contents found in the following:
[error] silex/util/Zippers.tasty
[error] silex/util/Zippers.tasty
[error] (assembly) deduplicate: different file contents found in the following:
[error] silex/ArraySource.class
[error] silex/ArraySource.class
[error] deduplicate: different file contents found in the following:
[error] silex/ArraySource.tasty
[error] silex/ArraySource.tasty
[error] deduplicate: different file contents found in the following:
[error] silex/CharLexers.class
[error] silex/CharLexers.class
[error] deduplicate: different file contents found in the following:
[error] silex/CharLexers.tasty
[error] silex/CharLexers.tasty
[error] deduplicate: different file contents found in the following:
[error] silex/IndexPositioner.class
[error] silex/IndexPositioner.class
[error] deduplicate: different file contents found in the following:
[error] silex/IndexPositioner.tasty
[error] silex/IndexPositioner.tasty
[error] deduplicate: different file contents found in the following:
[error] silex/IteratorSource.class
[error] silex/IteratorSource.class
[error] deduplicate: different file contents found in the following:
[error] silex/IteratorSource.tasty
[error] silex/IteratorSource.tasty
[error] deduplicate: different file contents found in the following:
[error] silex/Lexers.class
[error] silex/Lexers.class
[error] deduplicate: different file contents found in the following:
[error] silex/Lexers.tasty
[error] silex/Lexers.tasty
[error] deduplicate: different file contents found in the following:
[error] silex/NoPositioner.class
[error] silex/NoPositioner.class
[error] deduplicate: different file contents found in the following:
[error] silex/NoPositioner.tasty
[error] silex/NoPositioner.tasty
[error] deduplicate: different file contents found in the following:
[error] silex/Positioner.class
[error] silex/Positioner.class
[error] deduplicate: different file contents found in the following:
[error] silex/Positioner.tasty
[error] silex/Positioner.tasty
[error] deduplicate: different file contents found in the following:
[error] silex/ReaderSource.class
[error] silex/ReaderSource.class
[error] deduplicate: different file contents found in the following:
[error] silex/ReaderSource.tasty
[error] silex/ReaderSource.tasty
[error] deduplicate: different file contents found in the following:
[error] silex/RegExps.class
[error] silex/RegExps.class
[error] deduplicate: different file contents found in the following:
[error] silex/RegExps.tasty
[error] silex/RegExps.tasty
[error] deduplicate: different file contents found in the following:
[error] silex/Source.class
[error] silex/Source.class
[error] deduplicate: different file contents found in the following:
[error] silex/Source.tasty
[error] silex/Source.tasty
[error] deduplicate: different file contents found in the following:
[error] silex/StringPosition.class
[error] silex/StringPosition.class
[error] deduplicate: different file contents found in the following:
[error] silex/StringPosition.tasty
[error] silex/StringPosition.tasty
[error] deduplicate: different file contents found in the following:
[error] silex/StringPositioner.class
[error] silex/StringPositioner.class
[error] deduplicate: different file contents found in the following:
[error] silex/StringPositioner.tasty
[error] silex/StringPositioner.tasty
[error] deduplicate: different file contents found in the following:
[error] silex/StringSource.class
[error] silex/StringSource.class
[error] deduplicate: different file contents found in the following:
[error] silex/StringSource.tasty
[error] silex/StringSource.tasty
[error] deduplicate: different file contents found in the following:
[error] silex/package.class
[error] silex/package.class
[error] deduplicate: different file contents found in the following:
[error] silex/package.tasty
[error] silex/package.tasty
[error] deduplicate: different file contents found in the following:
[error] silex/util/BufferedIterator.class
[error] silex/util/BufferedIterator.class
[error] deduplicate: different file contents found in the following:
[error] silex/util/BufferedIterator.tasty
[error] silex/util/BufferedIterator.tasty
[error] deduplicate: different file contents found in the following:
[error] silex/util/Zippers.class
[error] silex/util/Zippers.class
[error] deduplicate: different file contents found in the following:
[error] silex/util/Zippers.tasty
[error] silex/util/Zippers.tasty
[error] Total time: 7 s, completed Nov 13, 2023, 3:14:03 PM

The error seems to arise from silex or its configuration. Some more investigation is required.

sankalpgambhir commented 10 months ago

Fixed in #197