src/Makefile · cd7bcd23b7e574050a26d4c41738a8733bb829e6 · verimag / synchrone / sasa · GitLab

Snippets Groups Projects

gricad-gitlab sera indisponible mardi 08/04/2025 entre 12h00 et 13h30 pour une opération de maintenance.

6 years ago

Update: rename the source dir src (was bin) · d4e6c582

erwan authored 6 years ago

For some reason, I believed that the source dir containing the main
program need to be named bin for dune to work smoothly. But actually,
it seems to work fine with src, so let's go for it.

d4e6c582

Update: rename the source dir src (was bin)

erwan authored 6 years ago

For some reason, I believed that the source dir containing the main
program need to be named bin for dune to work smoothly. But actually,
it seems to work fine with src, so let's go for it.

Makefile 121 B

all:
	dune build sasa.exe


install:
	dune build @install

clean:
	rm -f *.cmxs sasa *.cmi *.o *.cmx *.pdf
	dune clean