diff options
| author | Richard Trembecký <richardt@centrum.sk> | 2016-05-14 16:08:29 +0200 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-02-22 14:47:25 +0000 |
| commit | d88cec521019e39854c5a0926efb8919313c6e3a (patch) | |
| tree | 0ba8dbc37e9318c88f08ae4c3aa11808adc2877c /Makefile.rules | |
| parent | 62ee2e574b9f920e6679c91da25f8941552277d9 (diff) | |
| download | klee-d88cec521019e39854c5a0926efb8919313c6e3a.tar.gz | |
Makefile: change -std-compile-opts to -O3
As per: http://llvm.org/releases/3.6.0/docs/ReleaseNotes.html#the-opt-option-std-compile-opts-was-removed the -std-compile-opts was effectively an alias of -O3. And since it was removed in later LLVM versions, stop relying on that. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'Makefile.rules')
| -rw-r--r-- | Makefile.rules | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.rules b/Makefile.rules index d74b1c42..3e7540e4 100644 --- a/Makefile.rules +++ b/Makefile.rules @@ -1622,12 +1622,12 @@ $(ObjDir)/%.s: %.m $(ObjDir)/.dir $(BUILT_SOURCES) ifdef DEBUG_RUNTIME $(ObjectsBC): $(ObjDir)/%.bc: $(ObjDir)/%.ll $(LLVMAS) $(LOPT) $(Echo) "Compiling $*.ll to $*.bc for $(BuildMode) build (bytecode)" - $(Verb) $(LLVMAS) $< -o - | $(LOPT) -std-compile-opts -o $@ + $(Verb) $(LLVMAS) $< -o - | $(LOPT) -O3 -o $@ else $(ObjectsBC): $(ObjDir)/%.bc: $(ObjDir)/%.ll $(LLVMAS) $(LOPT) $(Echo) "Compiling $*.ll to $*.bc for $(BuildMode) build (bytecode)" $(Verb) $(LLVMAS) $< -o - | \ - $(LOPT) -std-compile-opts -strip-debug -o $@ + $(LOPT) -O3 -strip-debug -o $@ endif |