File: gen-cppcmd

package info (click to toggle)
mlton 20130715-3
  • links: PTS
  • area: main
  • in suites: stretch
  • size: 60,900 kB
  • ctags: 69,386
  • sloc: xml: 34,418; ansic: 17,399; lisp: 2,879; makefile: 1,605; sh: 1,254; pascal: 256; python: 143; asm: 97
file content (36 lines) | stat: -rwxr-xr-x 543 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
 
#!/usr/bin/env bash

set -e

dir=`dirname "$0"`
src=`cd "$dir/.." && pwd`
lib="$src/build/lib"
eval `"$lib/platform"`

output () {
        echo "val defaultCppCmd = \"gcc $1 -E -U__GNUC__ %o %s > %t\""
}

# The flags here should match the flags used by mlton.  At least the
# 64 vs 32 bit flags have an effect on what the system headers look
# like.
case "$HOST_OS-$HOST_ARCH" in
aix-*)
	output "-maix64"
	;;
*-ia64)
	output "-mlp64"
	;;
*-amd64)
	output "-m64"
	;;
*-x86)
	output "-m32"
	;;
*-sparc)
	output "-m32"
	;;
*)
	output ""
	;;
esac