Try it out online!
To use without the backend / frontend functionality:
Compile the wiles-base
package by running the compile_base.sh
script.
Run the function main
within wiles.Main
, with the input file as an argument. For instance, when using the JAR file Wiles.jar
, run the command:
java -jar Wiles.jar --file=example.wiles
You can also compile the source code by adding --compile
as an argument, and run a compiled file using --run
.
Using the backend and frontend locally.
You can either:
run_dev.sh
and opening localhost:8080
.npm run dev
and opening localhost:3000
.Deploy the backend online, in production mode.
Pull the repository from GitHub, configure the TLS credentials in wiles-web-backend
’s application.yaml
file, and then run the run_prod.sh
script.
Use tmux
to run the script in a session, so that logging out of the terminal will not stop the app.