From 64d7314aabf0232da43374cdc7940c73c5f9736b Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 28 Dec 2017 15:55:00 +0100 Subject: [PATCH] details --- Makefile | 2 +- msat.exe | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) create mode 120000 msat.exe diff --git a/Makefile b/Makefile index f58123ad..3995e022 100644 --- a/Makefile +++ b/Makefile @@ -12,7 +12,7 @@ OPTS= -j $(J) LIB=$(addprefix $(NAME), .cma .cmxa .cmxs) -all: lib test +all: build test build: jbuilder build $(OPTS) @install diff --git a/msat.exe b/msat.exe new file mode 120000 index 00000000..cceb9ac3 --- /dev/null +++ b/msat.exe @@ -0,0 +1 @@ +_build/default/src/main/main.exe \ No newline at end of file