Commit 051f175d authored by Peter Kriens's avatar Peter Kriens

WIP

parent c806d864

Too many changes to show.

To preserve performance only 1000 of 1000+ files are displayed.

# Text files with LF eol
*.auth crlf=input
*.awk crlf=input
*.bnd crlf=input
*.bndrun crlf=input
*.c crlf=input ident
*.conf crlf=input
*.cpp crlf=input ident
*.css crlf=input
*.ddf crlf=input
*.ee crlf=input
*.gradle crlf=input
*.groovy crlf=input
*.h crlf=input ident
*.html crlf=input ident
*.java crlf=input ident
*.js crlf=input
*.lib crlf=input
*.md crlf=input
*.MF crlf=input
*.mf crlf=input
*.perm crlf=input
*.php crlf=input
*.pl crlf=input
*.pom crlf=input
*.prefs crlf=input
*.properties crlf=input
*.py crlf=input
*.schema crlf=input
*.SF crlf=input
*.sh crlf=input
*.tcl crlf=input
*.txt crlf=input
*.xml crlf=input
*.xsd crlf=input ident
*.xsl crlf=input
*.xslt crlf=input
*.yml crlf=input
.classpath crlf=input
.project crlf=input
gradlew crlf=input
packageinfo crlf=input
Makefile crlf=input
README crlf=input
LICENSE crlf=input
# No EOL translation
*.bat -crlf
# Binary. No EOL translation, no diff
*.ico binary
*.jpeg binary
*.jpg binary
*.png binary
*.crt binary
*.pdf binary
*.dll binary
*.jar binary
*.jnilib binary
*.so binary
*.zip binary
*.doc binary
*.ppt binary
*.xls binary
*.odg binary
*.odp binary
*.ods binary
*.odt binary
*.otg binary
*.otp binary
*.ots binary
*.ott binary
*.key binary
*.numbers binary
*.pages binary
# Compiled class file
*.class
# Log file
*.log
# BlueJ files
*.ctxt
# Mobile Tools for Java (J2ME)
.mtj.tmp/
# Package Files #
*.jar
*.war
*.ear
*.zip
*.tar.gz
*.rar
# virtual machine crash logs, see http://www.java.com/en/download/help/error_hotspot.xml
hs_err_pid*
.DS_Store
.gradle/
/generated/
/target/
enroute.zip
.metadata
distributionBase=GRADLE_USER_HOME
distributionPath=wrapper/dists
zipStoreBase=GRADLE_USER_HOME
zipStorePath=wrapper/dists
distributionUrl=https\://services.gradle.org/distributions/gradle-4.0.1-bin.zip
#
# Travis build for Alloy Tools
#
sudo: false
dist: precise
language: java
jdk:
- oraclejdk7
- oraclejdk8
before_install:
install:
- ./gradlew --version
script:
- ./gradlew -Dmaven.repo.local=maven/target/m2 --continue :build
cache:
directories:
- $HOME/.gradle/caches/
- $HOME/.gradle/wrapper/
- $HOME/.m2/wrapper/
- cnf/cache/stable/
- maven/target/m2/
sudo: false
language: java
jdk:
- oraclejdk8
install: ./gradlew --version
script: ./gradlew --continue
# Alloy
<h1><img src="http://enroute.osgi.org/img/enroute-logo-64.png" witdh=40px style="float:left;margin: 0 1em 1em 0;width:40px">
OSGi enRoute Archetype</h1>
Alloy 4 is a self-contained executable, which includes the Kodkod
model finder and a variety of SAT solvers, as well as the standard
Alloy library and a collection of tutorial examples. The same jar file
can be incorporated into other applications to use Alloy as an API,
and includes the source code. See the release notes for details of new
features. To execute, simply double-click on the jar file, or type
java -jar alloy4.jar in a console.
This repository represents a template workspace for bndtools, it is the easiest way to get started with OSGi enRoute. The workspace is useful in an IDE (bndtools or Intellij) and has support for [continuous integration][2] with [gradle][3]. If you want to get started with enRoute, then follow the steps in the [quick-start guide][1].
More documentation can be found at: http://alloy.mit.edu/alloy/documentation.html.
## Building Alloy
### Building the JAR file
- Always run the mkdist.sh script to create a distribution version of
Alloy (instead of e.g. compiling/building from Eclipse)
IMPORTANT: always run this script from the ALLOY_HOME folder, that
is, the folder in which the mkdist.sh script is located.
- The mkdist.sh script performs two tasks: (1) compiles Alloy, and
(2) builds a JAR file that includes all external libraries etc. If
invoked with no parameters, it performs these two tasks in
succession; individual tasks can be invoked by running "./mkdist.sh
compile" and "./mkdist.sh dist" respectively.
#### Compiling Alloy sources
- the script first deletes everything from the "bin" folder
- the sources from the "src" folder are then compiled; target JVM
version is set to 1.5 (important for MacOS!). Version number and
build date are also properly set (compiling from Eclipse won't do
that automatically). The compiled class files are placed in the
"bin" folder.
IMPORTANT: the script assumes that Kodkod has already been compiled
and that the compiled binaries are located in $KODKOD_HOME/bin.
- for the CLASSPATH, all JAR files found in the "lib" folder are
automatically used, as well as the compiled Kodkod classes fro m
$KODKOD_HOME/bin.
#### Making a distribution JAR file
- Alloy ships as a single JAR file, meaning that all required
external libraries are first individually unpacked and their
contents are then repackaged together in a single JAR file.
- all JAR files found in the "lib" folder are first unzipped into a
single folder.
NOTE: Currently, there are two JAR files in the "lib" folder: (1)
apple-osx-ui.jar, and (2) extra.jar. The first one contains