Skip to main content

Browse the archive

https://github.com/EasyCrypt/easycrypt
05 April 2024, 19:20:55 UTC
Revision d89a5afa2f18006a0b663bbfb97187cfd84a621e authored by Pierre-Yves Strub on 10 July 2015, 20:12:45 UTC, committed by Pierre-Yves Strub on 10 July 2015, 20:13:09 UTC 
FSet: pick + trivial lemmas.
1 parent bdab7b1
Raw File
Tip revision: d89a5afa2f18006a0b663bbfb97187cfd84a621e authored by Pierre-Yves Strub on 10 July 2015, 20:12:45 UTC
FSet: pick + trivial lemmas.
Tip revision: d89a5af
Makefile.system 
# -*- Makefile -*-

# --------------------------------------------------------------------
OCAML    := $(shell ocamlbuild -which ocamlc 2>/dev/null || echo false)
CC       := gcc
MACHINE  := $(shell $(OCAML) -ccopt -dumpmachine dummy.c 2>/dev/null)
UNAME    := $(shell uname -s)
EXE      :=

ifneq (,$(findstring CYGWIN,$(UNAME)))
  CC = $(MACHINE)-gcc
endif

ifneq (,$(findstring mingw,$(MACHINE)))
EXE := .exe
endif

ifneq (,$(findstring cygwin,$(MACHINE)))
EXE := .exe
endif
back to top