Skip to content

Commit

Permalink
Patching Makefile for windows compilation
Browse files Browse the repository at this point in the history
  • Loading branch information
Krivine committed Nov 22, 2012
1 parent 5b9800c commit 570888e
Showing 1 changed file with 5 additions and 3 deletions.
8 changes: 5 additions & 3 deletions Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,9 +17,11 @@ SOURCES = \
main/main.ml

## the name of the resulting executable
RESULT = KaSim
#use this to compile under windows
#RESULT = KaSim.exe
ifdef SystemRoot
RESULT = KaSim.exe
else
RESULT = KaSim
endif

## generate type information (.annot files)
ANNOTATE = no
Expand Down

0 comments on commit 570888e

Please sign in to comment.