User Tools
magik-demo:developer:magik-project
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
magik-demo:developer:magik-project [2013/05/16 16:52] admin |
magik-demo:developer:magik-project [2017/07/06 15:24] (current) |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| + | {{:magik-demo:magik_logo.png?nolink&500|}} | ||
| + | |||
| ====== MAGIK Project ====== | ====== MAGIK Project ====== | ||
| Line 16: | Line 18: | ||
| === Steps === | === Steps === | ||
| + | - First step is to set the DLV executable file path and PROLOG folder (for the code to execute for the specialization) by setting up environment variable | ||
| + | - Detect where is located the folder magik_libs | ||
| + | - Copy the (absolute) entire path (file name included) | ||
| + | - Put in an __ENVIRONMENT VARIABLE__ called **MAGIK_LIBS**. An example: <code> DLV_PATH =/Users/user/Documents/workspace/MAGIK_WEB_3/magik_libs</code> | ||
| + | - E.g., on Mac OS X or Linux Operating systems, one can set this environment variable the following command in terminal <code>$export MAGIK_LIBS=aboslute_path_to_your_local_magik_libs</code> | ||
| + | |||
| - Deploy WAR file to Apache Tomcat server. \\ There are two ways to do it: | - Deploy WAR file to Apache Tomcat server. \\ There are two ways to do it: | ||
| - Using **Tomcat Web Application Manager** | - Using **Tomcat Web Application Manager** | ||
| Line 39: | Line 47: | ||
| | | ||
| === Steps === | === Steps === | ||
| - | * Download Eclipse 3.x. Choose a workspace folder (not the one using for MEGIK-DEMO SVN). | + | * Download Eclipse 3.x. Choose a workspace folder (not the one using for MAGIK-DEMO SVN). |
| * Install Eclipse plugin ''subversion.tigris.org'' for SVN control (see instruction http://web.mit.edu/6.005/www/fa11/psets/ps0/subclipse.html). Alternatively, one can use any SVN control program (e.g., svn command line tool, SmartSVN, etc.) but here we provide instruction for ''subversion.tigris.org'' only. | * Install Eclipse plugin ''subversion.tigris.org'' for SVN control (see instruction http://web.mit.edu/6.005/www/fa11/psets/ps0/subclipse.html). Alternatively, one can use any SVN control program (e.g., svn command line tool, SmartSVN, etc.) but here we provide instruction for ''subversion.tigris.org'' only. | ||
| * Import MAGIK project: | * Import MAGIK project: | ||
| Line 49: | Line 57: | ||
| * To do so, one needs to link locally installed Apache Tomcat with Eclipse (see [[http://www.coreservlets.com/Apache-Tomcat-Tutorial/eclipse.html| tutorial]]). Go to ''File>New>Other''. Find ''Server'' and click ''Next''. Then choose ''Apache>Tomcat v7.0 Server'' and click ''Next''. Then go ''Browse'' and enter the local directory path where Apache Tomcat is installed. Finally, click ''Finish''. | * To do so, one needs to link locally installed Apache Tomcat with Eclipse (see [[http://www.coreservlets.com/Apache-Tomcat-Tutorial/eclipse.html| tutorial]]). Go to ''File>New>Other''. Find ''Server'' and click ''Next''. Then choose ''Apache>Tomcat v7.0 Server'' and click ''Next''. Then go ''Browse'' and enter the local directory path where Apache Tomcat is installed. Finally, click ''Finish''. | ||
| * To run your MAGIK copy within Eclipse, right-click on the main project folder and then go to ''Run As>Run on Server'' and then ''Finish''. | * To run your MAGIK copy within Eclipse, right-click on the main project folder and then go to ''Run As>Run on Server'' and then ''Finish''. | ||
| - | |||
| === DLV API === | === DLV API === | ||
| Line 76: | Line 83: | ||
| * ''[[#it.unibz.inf.magik.db|it.unibz.inf.magik.db]]'' | * ''[[#it.unibz.inf.magik.db|it.unibz.inf.magik.db]]'' | ||
| * ''[[#it.unibz.inf.magik.exception|it.unibz.inf.magik.exception]]'' | * ''[[#it.unibz.inf.magik.exception|it.unibz.inf.magik.exception]]'' | ||
| - | * ''[[#it.unibz.inf.magik.hibernate|it.unibz.inf.magik.hibernate]]'' | + | * ''[[#it.unibz.inf.magik.hibernate|it.unibz.inf.magik.hibernate]]'' |
| * ''[[#it.unibz.inf.magik.test|it.unibz.inf.magik.test]]'' | * ''[[#it.unibz.inf.magik.test|it.unibz.inf.magik.test]]'' | ||
| * ''[[#it.unibz.inf.magik.web|it.unibz.inf.magik.web]]'' | * ''[[#it.unibz.inf.magik.web|it.unibz.inf.magik.web]]'' | ||
magik-demo/developer/magik-project.1368715964.txt.gz ยท Last modified: 2017/07/06 15:24 (external edit)
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 3.0 Unported
