[ivette] install (macOS)

ivette/INSTALL.md

@@ -5,18 +5,49 @@ Required package to be installed:
 - `pandoc` for generating the documentation;
 - `node` version 16.x (codename: gallium)
 
+It is recommanded to use NVM to select a node 16.x version.
+
+## Linux
+
+```sh
+$ curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v0.34.0/install.sh | bash
+$ nvm install 16
+$ nvm use 16
+$ npm install yarn
+```
+
+## macOS
+
+```sh
+$ brew install yarn
+$ brew install nvm # follow instructions
+$ nvm install 16
+$ nvm use 16
+```
+
 # Installation
 
 From the `Frama-C` main directory, simply type:
 
 ```
 $ make -C ivette dist
+$ [sudo] make -C ivette install
 ```
 
 If this is the first time you compile `ivette`, this might take some time to download
 all the necessary packages and Electron binaries from the web.
 
-Once finished, the Ivette application is available in `ivette/dist/<platform>` directory.
+The first `make` command builds a binary distribution of Ivette for your
+architecture in `ivette/dist/<arch>` ; the second `make` command installs it on
+your system accordingly.
+
+## Linux
+
+> TODO
+
+## macOS
+
+> TODO
 
 # Developer Install
 

ivette/Makefile

@@ -37,7 +37,7 @@ all: pkg lint app
 
 app: dome-app
 dev: dome-dev
-dist: dome-dist
+dist: dist-dir dome-dist
 
 lint: dome-pkg dome-templ checkcase
 	@echo "[Ivette] running typechecker & linter"
@@ -148,3 +148,41 @@ $(NODEBIN)/%:
 # --------------------------------------------------------------------------
 include $(DOME)/template/makefile
 # --------------------------------------------------------------------------
+
+# --------------------------------------------------------------------------
+# --- Ivette Installation
+# --------------------------------------------------------------------------
+
+include ../share/Makefile.config
+
+dist-dir:
+	@echo "Cleaning dist"
+	@rm -fr dist
+
+IVETTE_DIST=$(wildcard dist/linux-unpacked dist/mac dist/mac-arm64)
+
+ifeq ($(IVETTE_DIST),dist/linux-unpacked)
+
+install:
+	@echo "Installing Ivette (Linux)"
+	@rm -fr $(LIBDIR)/ivette
+	@rm -f $(BINDIR)/ivette
+	@mv $(IVETTE_DIST) $(LIBDIR)/ivette
+	@ln -s $(LIBDIR)/ivette/Ivette $(BINDIR)/ivette
+
+else ifeq ($(IVETTE_DIST:-arm64=),dist/mac)
+
+install:
+	@echo "Installing Ivette (macOS)"
+	@rm -fr /Applications/Ivette.app
+	@mv $(IVETTE_DIST)/Ivette.app /Applications/
+	@install ivette-macos.sh $(BINDIR)/ivette
+
+else
+
+install:
+	@echo "No distribution to install"
+	@echo "use 'make dist' and retry"
+	@exit 1
+
+endif

ivette/electron-builder.json

+{
+  productName: "Ivette",
+  mac: { icon: "ivette.icns" }
+}

ivette/ivette-macos.sh

+#!/bin/zsh
+
+exec open -na Ivette.app --args --cwd $PWD $*