Toxaris / pts

Interpreter for functional pure type systems.
BSD 3-Clause "New" or "Revised" License
21 stars 7 forks source link

Build failed in Jenkins after 05ea7f2bf8 #61

Closed Toxaris closed 11 years ago

Toxaris commented 11 years ago

There seems to be a missing file.

See <http://plse.mathematik.uni-marburg.de:8080/job/PTS/29/changes>

Changes:

[Tillmann Rendel] Reorganize module hierarchy PTS.Syntax.*.

[Tillmann Rendel] Split PTS.Syntax.AST.

[Tillmann Rendel] Format list of exposed modules.

[Tillmann Rendel] Reorganize module hierarchy PTS.Dynamics.*.

[Tillmann Rendel] Reorganize module hierarchy PTS.Statics.*.

[Tillmann Rendel] Delete unused files.

[Tillmann Rendel] Reorganize tests for PTS.Syntax.*.

[Tillmann Rendel] Reexport from PTS.Syntax explicitly and by name.

[Tillmann Rendel] Organize imports.

[Tillmann Rendel] Delete empty module.

[Tillmann Rendel] Remove old code.

[Tillmann Rendel] Move Errors monad to Control.Monad.*.

[Tillmann Rendel] Reorganize module hierarchy PTS.Process.*.

[Tillmann Rendel] Inline Parametric.AST into PTS.Syntax.Names.

[Tillmann Rendel] Incorporate Parametric.Error into PTS.* and clean it up.

[Tillmann Rendel] Incorporate Parametric.Parser.* into PTS.Parser.

[Tillmann Rendel] Incorporate Parametric.Pretty into PTS.Syntax.Pretty.

[Tillmann Rendel] Remove dead code (ndots).

[Tillmann Rendel] Reexport from PTS.Statics explicitly.

[Tillmann Rendel] Reexport from PTS.Dynamics explicitly.

------------------------------------------
Started by GitHub push by Toxaris
Building in workspace <http://plse.mathematik.uni-marburg.de:8080/job/PTS/ws/>
Checkout:workspace / <http://plse.mathematik.uni-marburg.de:8080/job/PTS/ws/> - hudson.remoting.LocalChannel@116ff695
Using strategy: Default
Last Built Revision: Revision 97270d74fa49040ff20ad4d0cd6e112090dd6da2 (origin/master)
Fetching changes from 1 remote Git repository
Fetching upstream changes from git://github.com/Toxaris/pts.git
Commencing build of Revision 05ea7f2bf83046b024c80aaee4e78e1e47605552 (origin/master)
Checking out Revision 05ea7f2bf83046b024c80aaee4e78e1e47605552 (origin/master)
[workspace] $ /bin/sh -xe /tmp/hudson5026650954448111917.sh
+ ./allTests.sh
+ '[' -z '' ']'
+ CABAL=cabal
+ set -e
+ cabal clean
cleaning...
+ cabal check
No errors or warnings could be found in the package.
+ cabal install --only-dependencies
Resolving dependencies...
All the requested packages are already installed:
Use --reinstall if you want to reinstall anyway.
+ cabal configure --enable-tests
Resolving dependencies...
Configuring pts-0.1...
+ cabal build
Building pts-0.1...
Preprocessing library pts-0.1...
cabal-0.14.0: can't find source for PTS/Process in src-lib, dist/build/autogen
cabal build: /usr/hs/tools/cabal-0.14.0 failure (return code=1)
Build step 'Execute shell' marked build as failure
[WARNINGS] Skipping publisher since build result is FAILURE
[TASKS] Skipping publisher since build result is FAILURE
Recording test results