​- AlphaZ requires Java 8 or later and a Unix system ​(Linux or Mac OSX). If Java 8 is not installed on your machine, install Java from http://​www.oracle.com/​technetwork/​java/​javase/​downloads/​index-jsp-138363.html.

- In "Work with" ​form, copy/paste the following URL: https://​www.cs.colostate.edu/​AlphaZ/​update-sites/​neon/site.xml (Neon - 4.6.1 is the current version of Eclipse. For older versions of Eclipse use URL: https://​www.cs.colostate.edu/​AlphaZ/​update-sites/<​target>/​site.xml where <​target>​ is code name of the Eclipse distribution).

+

- In "Work with" ​text box, copy/paste the following URL: https://​www.cs.colostate.edu/​AlphaZ/​update-sites/​oxygen/site.xml (Oxygen ​- 4.7.1 is the current version of Eclipse. For older versions of Eclipse use URL: https://​www.cs.colostate.edu/​AlphaZ/​update-sites/<​target>/​site.xml where <​target>​ is code name of the Eclipse distribution. i.e., neon).

-

- You should see several items including "​AlphaZ ​environment".

+

- You should see several items including "​AlphaZ ​Environment"​ and "​AlphaZ Features".

- To be able to check out project through svn with eclipse, please install the corresponding subeclipse plugins using update-site ​ https://​dl.bintray.com/​subclipse/​releases/​subclipse/​4.2.x. /*All links that correspond to different versions of subeclipse is available on webpage http://​subclipse.tigris.org/​servlets/​ProjectProcess?​pageID=p4wYuA. Go to Help->​Install New Software, and copy the corresponding URL in the "Work with" form, and install all the plugins. */

+

- To be able to check out project through svn with eclipse, please install the corresponding subeclipse plugins using update-site ​ https://​dl.bintray.com/​subclipse/​releases/​subclipse/​latest/. /*All links that correspond to different versions of subeclipse is available on webpage http://​subclipse.tigris.org/​servlets/​ProjectProcess?​pageID=p4wYuA. Go to Help->​Install New Software, and copy the corresponding URL in the "Work with" form, and install all the plugins. */

-

Since AlphaZ is still in very active development,​ we have activated automatic update of AlphaZ bundle.If you met some problems while using AlphaZ, please refer to the common pitfall section. We described some common problems that users met, and provided possible solutions.\\

+

If you met some problems while using AlphaZ, please refer to the common pitfall section. We described some common problems that users met, and provided possible solutions.\\

=====Eclipse Setup for External Environment =====

=====Eclipse Setup for External Environment =====

Line 65:

Line 66:

You may have some error connecting to the repository through eclipse

You may have some error connecting to the repository through eclipse

+

* When you run a *.cs file, if you see an error containing "​com.google.common"​ then try again after removing "​com.google.guava_21.0.0.v20170206-1425.jar"​ file from Eclipse/​plugins directory.

* When your connection gets lost while trying to connect:

* When your connection gets lost while trying to connect:

* Go to ''"​Preferences→Team→SVN"''​ and change the SVN interface to ''"​SVNKit(Pure Java)"''​ and try again.

* Go to ''"​Preferences→Team→SVN"''​ and change the SVN interface to ''"​SVNKit(Pure Java)"''​ and try again.

Line 70:

Line 72:

Check the following if something does not work

Check the following if something does not work

-

* AlphaZ requires JRE1.7. Please make sure you have the Java 7 installed on your machine, and it is the default java version used by eclipse. Otherwise, the plugins installed will not be activated. ​To be sure that your eclipse is using Java 7, you can start your eclipse with explicitly specified Java path. For example: ./eclipse -vm /​home/​yun/​yun_temp/​jdk1.7.0/​bin/​java .

+

* AlphaZ requires JRE1.8. Please make sure you have the Java 8 installed on your machine, and it is the default java version used by eclipse. Otherwise, the plugins installed will not be activated. ​

-

* AlphaZ is updated frequently, if you are using it on an external machine, run the update script

+

* Most of the machines in the department is 64bit linux, but some are 32bit. You won't be able to start eclipse in those machines.

* Most of the machines in the department is 64bit linux, but some are 32bit. You won't be able to start eclipse in those machines.