#3373 prover9: upstream update

Added_to_Fink
closed-works-for-me
nobody
5
2008-12-07
2008-10-17
Jesse Alama
No

* New upstream version (September 2008 edition)

* Does not build in maintainer mode: the version is "2008-09A", but when run in maintainer mode fink complains that the "A" should be lowercase. Any hints for how to deal with that? The capital A is in the name of the upstream tarball.

Discussion

  • Jesse Alama

    Jesse Alama - 2008-10-17
     
  • Alexander Hansen

    • milestone: 373615 --> Added_to_Fink
    • status: open --> closed-works-for-me
     
  • Alexander Hansen

    You can't have a Version with a capital letter, because the Debian tools barf on that, at least on case-sensitive filesystems

    Installing build-lock package...
    /sw/bin/dpkg-lockwait -i /sw/src/fink.build/fink-buildlock-prover9-2008-09A-1_2008.12.07-16.54.18_darwin-i386.deb
    /sw/bin/dpkg: error processing /sw/src/fink.build/fink-buildlock-prover9-2008-09A-1_2008.12.07-16.54.18_darwin-i386.deb (--install):
    cannot access archive: No such file or directory

    I'll go ahead and commit it with all of the %v replaced by 2008-09A

     

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks