diff options
author | Mateus Cruz <mateuscolvr@gmail.com> | 2024-02-04 23:10:30 -0300 |
---|---|---|
committer | Mateus Cruz <mateuscolvr@gmail.com> | 2024-02-04 23:10:57 -0300 |
commit | f3ac99a84497868aded8ee7ec2822d1b12960fd7 (patch) | |
tree | a870e9bb38259e0641c282b2ba524ac9abe85346 /bin |
initial commit
Diffstat (limited to 'bin')
-rw-r--r-- | bin/dune | 21 | ||||
-rw-r--r-- | bin/main.ml | 1 |
2 files changed, 22 insertions, 0 deletions
diff --git a/bin/dune b/bin/dune new file mode 100644 index 0000000..0716639 --- /dev/null +++ b/bin/dune @@ -0,0 +1,21 @@ +(executable + (public_name rinhadebackend) + (name main) + (flags + (:standard -cclib -static -cclib -no-pie)) + (libraries + rinhadebackend + + piaf + routes + eio_main + caqti-driver-postgresql + logs.fmt + fmt.tty + logs.threaded + caqti-eio + caqti + ppx_rapper_eio) + + (preprocess + (pps ppx_rapper))) diff --git a/bin/main.ml b/bin/main.ml new file mode 100644 index 0000000..7bf6048 --- /dev/null +++ b/bin/main.ml @@ -0,0 +1 @@ +let () = print_endline "Hello, World!" |