https://github.com/mmhelloworld/idris-spring-boot-example
Idris Spring Boot example
https://github.com/mmhelloworld/idris-spring-boot-example
Last synced: over 1 year ago
JSON representation
Idris Spring Boot example
- Host: GitHub
- URL: https://github.com/mmhelloworld/idris-spring-boot-example
- Owner: mmhelloworld
- Created: 2018-10-26T05:01:36.000Z (over 7 years ago)
- Default Branch: main
- Last Pushed: 2024-08-24T15:21:38.000Z (almost 2 years ago)
- Last Synced: 2025-01-08T12:34:27.732Z (over 1 year ago)
- Language: Idris
- Size: 128 KB
- Stars: 7
- Watchers: 3
- Forks: 2
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Idris Spring Boot Example
An example Idris project demonstrating how to export functions and generate classes from Idris to Java. It is a Spring Boot application connecting to MySQL database.
# Build
### Compile
```shell
./mvnw package
```
### Start MySQL server
```shell
mysql.server start
```
### Initialize MySQL
* From MySQL console
```shell
create database payroll_db;
```
```shell
create user 'payroll_admin'@'%' identified by '';
```
```shell
grant all on payroll_db.* to 'payroll_admin'@'%';
```
# Run
* Set MySQL password in `PAYROLL_PASSWORD` environment variable
```shell
read -rs PAYROLL_PASSWORD
export PAYROLL_PASSWORD
```
* Start application
```shell
java -cp "build/exec/idrisspringbootexample_app:target/classes:build/exec/idrisspringbootexample_app/*" idrisspringbootexample.Main
```