Re: [isabelle-dev] Repository version of Isabelle on Windows 7
On Fri, 30 Oct 2015, Makarius wrote:
> Somehow the downloaded csdp-6.x.tar.gz came out as corrupted. Just delete
> that file and try "isabelle components -a" again.
The file csdp-6.x.tar.gz was completely empty. I followed your suggestion and
now the output showed that the different .tar.gz files were downloaded and
unpacked. I therefore continued following README_REPOSITORY with the following
result:
Anders@r099121 /cygdrive/c/repo-isabelle/isabelle
$ ./bin/isabelle jedit -l HOL
### Building graph browser ...
warning: [options] bootstrap class path not set in conjunction with -source 1.4
warning: [options] source value 1.4 is obsolete and will be removed in a future
release
warning: [options] target value 1.4 is obsolete and will be removed in a future
release
warning: [options] To suppress warnings about obsolete options, use
-Xlint:-options.
Note: GraphBrowser\GraphBrowser.java uses or overrides a deprecated API.
Note: Recompile with -Xlint:deprecation for details.
4 warnings
### Building Isabelle/Scala ...
Concurrent\simple_thread.scala:45: error: object getProperty is not a member of
package System
val m =
Properties.Value.Int.unapply(System.getProperty("isabelle.threads", "0"))
getOrElse 0
^
General\bytes.scala:32: error: object arraycopy is not a member of package
System
System.arraycopy(a, offset, b, 0, length)
^
General\bytes.scala:104: error: object arraycopy is not a member of package
System
System.arraycopy(bytes, offset, new_bytes, 0, length)
^
General\bytes.scala:105: error: object arraycopy is not a member of package
System
System.arraycopy(other.bytes, other.offset, new_bytes, length,
other.length)
^
General\time.scala:19: error: object currentTimeMillis is not a member of
package System
def now(): Time = ms(System.currentTimeMillis())
^
System\platform.scala:18: error: object getProperty is not a member of package
System
val is_macos = System.getProperty("os.name", "") == "Mac OS X"
^
System\platform.scala:19: error: object getProperty is not a member of package
System
val is_windows = System.getProperty("os.name", "").startsWith("Windows")
^
System\platform.scala:37: error: object getProperty is not a member of package
System
System.getProperty("os.arch", "") match {
^
System\platform.scala:45: error: object getProperty is not a member of package
System
System.getProperty("os.name", "") match {
^
System\platform.scala:60: error: object getProperty is not a member of package
System
System.getProperty("java.version") match {
^
System\platform.scala:68: error: object getProperty is not a member of package
System
val jvm_name: String = System.getProperty("java.vm.name", "")
^
GUI\gui.scala:33: error: object getProperty is not a member of package System
find_laf(System.getProperty("isabelle.laf")) getOrElse {
^
System\isabelle_system.scala:24: error: object getProperty is not a member of
package System
val java_home = System.getProperty("java.home", "")
^
System\isabelle_system.scala:40: error: object getenv is not a member of
package System
check(System.getenv(envar)) orElse // e.g. inherited from running
isabelle tool
^
System\isabelle_system.scala:41: error: object getProperty is not a member of
package System
check(System.getProperty(property)) getOrElse // e.g. via JVM
application boot process
^
System\isabelle_system.scala:90: error: object getenv is not a member of
package System
val temp = if (Platform.is_windows) System.getenv("TEMP") else null
^
System\isabelle_system.scala:93: error: object getProperty is not a member of
package System
val user_home = System.getProperty("user.home", "")
^
System\isabelle_system.scala:94: error: object getProperty is not a member of
package System
val isabelle_app = System.getProperty("isabelle.app", "")
^
Tools\main.scala:68: error: object setProperty is not a member of package System
System.setProperty("jedit.home",
File.platform_path(Path.explode("$JEDIT_HOME/dist")))
^
Tools\main.scala:69: error: object setProperty is not a member of package System
System.setProperty("scala.home",
File.platform_path(Path.explode("$SCALA_HOME")))
^
Tools\main.scala:110: error: object getenv is not a member of package System
update(m.get(System.getenv()))
^
21 errors found
Failed to compile sources
Anders@r099121 /cygdrive/c/repo-isabelle/isabelle
$
Cheers and thanks,
Anders Schlichtkrull
Re: [isabelle-dev] Repository version of Isabelle on Windows 7
On Mon, 9 Nov 2015, Anders Schlichtkrull wrote:
### Building Isabelle/Scala ...
Concurrent\simple_thread.scala:45: error: object getProperty is not a member of
package System
val m = Properties.Value.Int.unapply(System.getProperty("isabelle.threads",
"0")) getOrElse 0
Odd. I've seen something like this many years ago, with rather old
versions of Scala, but it did not happen recently.
What is the result of "isabelle getenv SCALA_HOME"?
To make double sure: can you delete ISABELLE_HOME/lib/classes/Pure.jar and
try again? Or try "isabelle jedit -bf".
In principle, this should all work routinely. I am building from
repository myself with Windows 2008, Windows 7, Windows 8.1, Windows 10.
Makarius
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
[isabelle-dev] Repository version of Isabelle on Windows 7
I am trying to install the repository version (f2e51e704a96) of Isabelle on Windows 7 using Cygwin by following README_REPOSITORY. Cygwin with Perl and Mercurial are installed, so I follow step 2 of README_REPOSITORY: Anders@r099121 /cygdrive/c/repo-isabelle $ uname -a CYGWIN_NT-6.1-WOW r099121 2.2.1(0.289/5/3) 2015-08-20 11:40 i686 Cygwin Anders@r099121 /cygdrive/c/repo-isabelle $ hg clone http://isabelle.in.tum.de/repos/isabelle destination directory: isabelle requesting all changes adding changesets adding manifests adding file changes added 61525 changesets with 165242 changes to 10175 files updating to branch default 3101 files updated, 0 files merged, 0 files removed, 0 files unresolved Anders@r099121 /cygdrive/c/repo-isabelle $ cd isabelle Anders@r099121 /cygdrive/c/repo-isabelle/isabelle $ hg id f2e51e704a96 tip Anders@r099121 /cygdrive/c/repo-isabelle/isabelle $ ./bin/isabelle components -I ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/csdp-6.x" ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/cvc4-1.5pre-2" ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/e-1.8" ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/exec_process-1.0.3" ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/Haskabelle-2015" ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/isabelle_fonts-20151021" ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/jdk-8u66" ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/jedit_build-20151023" ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/jfreechart-1.0.14-1" ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/jortho-1.0-2" ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/kodkodi-1.5.2" ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/polyml-5.5.3-20150916" ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/scala-2.11.7" ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/spass-3.8ds" ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/xz-java-1.2-1" ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/z3-4.4.0pre" User settings file already exists! Edit "/cygdrive/c/Users/Anders/.isabelle/etc/settings" manually and add the following line near its start: init_components "$USER_HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/main" Anders@r099121 /cygdrive/c/repo-isabelle/isabelle $ cat /cygdrive/c/Users/Anders/.isabelle/etc/settings init_components "$USER_HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/main" Anders@r099121 /cygdrive/c/repo-isabelle/isabelle $ ./bin/isabelle components -a ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/csdp-6.x" ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/cvc4-1.5pre-2" ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/e-1.8" ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/exec_process-1.0.3" ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/Haskabelle-2015" ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/isabelle_fonts-20151021" ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/jdk-8u66" ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/jedit_build-20151023" ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/jfreechart-1.0.14-1" ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/jortho-1.0-2" ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/kodkodi-1.5.2" ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/polyml-5.5.3-20150916" ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/scala-2.11.7" ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/spass-3.8ds" ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/xz-java-1.2-1" ### Missing Isabelle component: "/cygdrive/c/Users/Anders/.isabelle/contrib/z3-4.4.0pre" Unpacking "/cygdrive/c/Users/Anders/.isabelle/contrib/csdp-6.x.tar.gz" tar: This does not look like a tar archive gzip: stdin: unexpected end of file tar: Child returned status 1 tar: Error is not recoverable: exiting now Anders@r099121 /cygdrive/c/repo-isabelle/isabelle $ You see that I get an error. Why does this happen and what can I do to solve the problem? Cheers and thanks, Anders Schlichtkrull ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Repository version of Isabelle on Windows 7
On Fri, 30 Oct 2015, Anders Schlichtkrull wrote: Unpacking "/cygdrive/c/Users/Anders/.isabelle/contrib/csdp-6.x.tar.gz" tar: This does not look like a tar archive gzip: stdin: unexpected end of file tar: Child returned status 1 tar: Error is not recoverable: exiting now You see that I get an error. Why does this happen and what can I do to solve the problem? Somehow the downloaded csdp-6.x.tar.gz came out as corrupted. Just delete that file and try "isabelle components -a" again. If the problem persists, you should look more closely at the content of /cygdrive/c/Users/Anders/.isabelle/contrib/ Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
