Skip to main content
Version: 0.1.4

Building from the command line

Gradle commands​

We use Gradle to manage the compilation and tests of Refinery.

Java code is built directly by Gradle. We use the frontend-gradle-plugin to manage a Node.js and Yarn installation, which in turn is used to build TypeScript code (including this documentation website). Typically, Yarn commands are issued by Gradle and you don’t need to work with the TypeScript build system directly if you’re only working on the Java parts of Refinery.

build​

./gradlew build

Compile all code, run all tests, and produce all build artifacts.

You should run this command before submitting a Pull request to make sure that all code builds and tests pass on your local machine. This will also be run by GitHub Actions for each commit or pull requests.

publishToMavenLocal​

./gradlew publishToMavenLocal

Publishes the Refinery Java artifacts to the Maven local repository.

Build tools, such as Gradle, will be able to consume such artifacts, which enables you to use the latest version of Refinery – possibly including your own modifications – in other Java projects. For more information, see our programming guide.

serve​

./gradlew serve

Starts the Refinery backend and web interface on port 1312.

This task is ideal for running the Refinery backend if you don’t intend to work on the frontend. The Refinery frontend TypeScript projects is automatically built before the server starts. The server will use the latest build output of the frontend as static assets.

The behavior of this task is influenced by the same environmental variables as the Refinery Docker container. However, the default value of REFINERY_LISTEN_PORT is 1312.

serveBackend​

./gradlew serveBackend

Starts the Refinery backend on port 1312.

This task is ideal for running the Refinery backend if you’re working on the frontend. No static assets will be build. You’ll need to use yarnw frontend dev

Like ./gradlew serve, the behavior of this task is influenced by the same environmental variables as the Refinery Docker container. However, the default value of REFINERY_LISTEN_PORT is 1312.

cli​

./gradlew cli

Runs the Refinery CLI from the project directory. The main use of this command is to try out modifications to the Refinery CLI without building a new Docker container.

You can use the --args option pass options to the Refinery CLI. For example, the command

./gradlew cli --args="generate example.problem -o solution.refinery"

will run the model generator on the problem example.problem (located in the root directory of the project) and save the generated model to the file solution.refinery.

Yarn commands​

We provide a yarnw wrapper script to invoke the Yarn distribution installed by frontend-gradle-plugin directly. The following commands can only be run once ./gradlew build has installed the necessary Node.js and Yarn packages.

docs dev​

./yarnw docs dev

Builds and serves this documentation in development mode on port 3000. Saved changes to most documentation sources are immediately reflected in the browse without reloading.

You can set the port with the -p option, e.g. to use port 1313, use

./yarnw docs dev -p 1313
note

Running this command for the first time may generate error messages like

ERROR  failed to read input source map: failed to parse inline source map url

which can be safely ignored.

frontend dev​

./yarnw frontend dev

Builds and serves the refinery frontend on port 1313. Saved changes to most source files are immediately reflected in the browser without reload.

Before running this command, you need to start ./gradlew serveBackend to provide a backend for the frontend to connect to. The development server of the frontend will proxy all WebSocket connections to the backend.

The following environmental variables influence the behavior of this command:

REFINERY_LISTEN_HOST​

Hostname to listen at for incoming HTTP connections.

Default value: localhost

REFINERY_LISTEN_PORT​

TCP port to listen at for incoming HTTP connections.

Default value: 1313

REFINERY_BACKEND_HOST​

Hostname of the Refinery backend.

This should match the REFINERY_LISTEN_HOST passed to ./gradlew serveBackend.

Default value: 127.0.0.1 (connect to localhost over IPv4 only)

REFINERY_LISTEN_PORT​

TCP port of the Refinery backend.

This should match the REFINERY_LISTEN_PORT passed to ./gradlew serveBackend.

Default value: 1312

REFINERY_PUBLIC_HOST​

Publicly visible hostname of the Refinery instance.

If you use a reverse proxy in front of the development server, you must set this variable. Otherwise, connections to the development server will fail due to cross-origin protection.

Default value: equal to REFINERY_LISTEN_HOST

REFINERY_PUBLIC_PORT​

Publicly visible port of the Refinery instance.

If you use a reverse proxy in front of the development server, you must set this variable. Otherwise, connections to the development server will fail due to cross-origin protection.

Default value: equal to REFINERY_LISTEN_PORT