Makefile.Linux
author Mario de Sousa <msousa@fe.up.pt>
Fri, 29 Jul 2011 16:03:28 +0100
changeset 350 2c3c4dc34979
parent 279 c0453b7f99df
permissions -rwxr-xr-x
Support for semantic verification of calls to standard functions.
This commit makes a fundamental change in the way standard functions are handled by the compiler.
279
c0453b7f99df Re-generated std lib related code, with updated headers, updated all forgotten headers
Edouard Tisserant
parents: 209
diff changeset
     1
# matiec - a compiler for the programming languages defined in IEC 61131-3
c0453b7f99df Re-generated std lib related code, with updated headers, updated all forgotten headers
Edouard Tisserant
parents: 209
diff changeset
     2
#
c0453b7f99df Re-generated std lib related code, with updated headers, updated all forgotten headers
Edouard Tisserant
parents: 209
diff changeset
     3
# Copyright (C) 2003-2011  Mario de Sousa (msousa@fe.up.pt)
c0453b7f99df Re-generated std lib related code, with updated headers, updated all forgotten headers
Edouard Tisserant
parents: 209
diff changeset
     4
# Copyright (C) 2007-2011  Laurent Bessard and Edouard Tisserant
c0453b7f99df Re-generated std lib related code, with updated headers, updated all forgotten headers
Edouard Tisserant
parents: 209
diff changeset
     5
#
c0453b7f99df Re-generated std lib related code, with updated headers, updated all forgotten headers
Edouard Tisserant
parents: 209
diff changeset
     6
# This program is free software: you can redistribute it and/or modify
c0453b7f99df Re-generated std lib related code, with updated headers, updated all forgotten headers
Edouard Tisserant
parents: 209
diff changeset
     7
# it under the terms of the GNU General Public License as published by
c0453b7f99df Re-generated std lib related code, with updated headers, updated all forgotten headers
Edouard Tisserant
parents: 209
diff changeset
     8
# the Free Software Foundation, either version 3 of the License, or
c0453b7f99df Re-generated std lib related code, with updated headers, updated all forgotten headers
Edouard Tisserant
parents: 209
diff changeset
     9
# (at your option) any later version.
c0453b7f99df Re-generated std lib related code, with updated headers, updated all forgotten headers
Edouard Tisserant
parents: 209
diff changeset
    10
#
c0453b7f99df Re-generated std lib related code, with updated headers, updated all forgotten headers
Edouard Tisserant
parents: 209
diff changeset
    11
# This program is distributed in the hope that it will be useful,
c0453b7f99df Re-generated std lib related code, with updated headers, updated all forgotten headers
Edouard Tisserant
parents: 209
diff changeset
    12
# but WITHOUT ANY WARRANTY; without even the implied warranty of
c0453b7f99df Re-generated std lib related code, with updated headers, updated all forgotten headers
Edouard Tisserant
parents: 209
diff changeset
    13
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
c0453b7f99df Re-generated std lib related code, with updated headers, updated all forgotten headers
Edouard Tisserant
parents: 209
diff changeset
    14
# GNU General Public License for more details.
c0453b7f99df Re-generated std lib related code, with updated headers, updated all forgotten headers
Edouard Tisserant
parents: 209
diff changeset
    15
#
c0453b7f99df Re-generated std lib related code, with updated headers, updated all forgotten headers
Edouard Tisserant
parents: 209
diff changeset
    16
# You should have received a copy of the GNU General Public License
c0453b7f99df Re-generated std lib related code, with updated headers, updated all forgotten headers
Edouard Tisserant
parents: 209
diff changeset
    17
# along with this program.  If not, see <http://www.gnu.org/licenses/>.
c0453b7f99df Re-generated std lib related code, with updated headers, updated all forgotten headers
Edouard Tisserant
parents: 209
diff changeset
    18
54
66925599259a Updated Makefile to allow compilation with mingw32
etisserant
parents: 40
diff changeset
    19
#CXX = i686-mingw32-c++ 
66925599259a Updated Makefile to allow compilation with mingw32
etisserant
parents: 40
diff changeset
    20
CXX = g++ 
40
873a5b60a7ea Fixed -I library include path behavior + removed old lib implementation + added generated lib func names to stage 1_2 + added Makefile.Linux
etisserant
parents:
diff changeset
    21
873a5b60a7ea Fixed -I library include path behavior + removed old lib implementation + added generated lib func names to stage 1_2 + added Makefile.Linux
etisserant
parents:
diff changeset
    22
#get warnings, debugging information and optimization
209
30cbae46190d Remove -pedantic flag to CFLAGS to allow unsigned long long to be compiled
laurent
parents: 99
diff changeset
    23
CFLAGS  = -Wall -Wpointer-arith -Wwrite-strings
40
873a5b60a7ea Fixed -I library include path behavior + removed old lib implementation + added generated lib func names to stage 1_2 + added Makefile.Linux
etisserant
parents:
diff changeset
    24
# CFLAGS += -Werror
99
546b9d5b2ff9 aligned CXXFLAGS with CFLAGS
etisserant
parents: 54
diff changeset
    25
CFLAGS += -ggdb
546b9d5b2ff9 aligned CXXFLAGS with CFLAGS
etisserant
parents: 54
diff changeset
    26
#CFLAGS += -O3 -funroll-loops
40
873a5b60a7ea Fixed -I library include path behavior + removed old lib implementation + added generated lib func names to stage 1_2 + added Makefile.Linux
etisserant
parents:
diff changeset
    27
# Note: if the optimizer crashes, we'll leave out the -O3 for those files
873a5b60a7ea Fixed -I library include path behavior + removed old lib implementation + added generated lib func names to stage 1_2 + added Makefile.Linux
etisserant
parents:
diff changeset
    28
873a5b60a7ea Fixed -I library include path behavior + removed old lib implementation + added generated lib func names to stage 1_2 + added Makefile.Linux
etisserant
parents:
diff changeset
    29
#get warnings, debugging information and optimization
99
546b9d5b2ff9 aligned CXXFLAGS with CFLAGS
etisserant
parents: 54
diff changeset
    30
#CXXFLAGS  = -Wall -pedantic -Wpointer-arith -Wwrite-strings
546b9d5b2ff9 aligned CXXFLAGS with CFLAGS
etisserant
parents: 54
diff changeset
    31
#CXXFLAGS += -ggdb
54
66925599259a Updated Makefile to allow compilation with mingw32
etisserant
parents: 40
diff changeset
    32
#CXXFLAGS += -O3 -funroll-loops
99
546b9d5b2ff9 aligned CXXFLAGS with CFLAGS
etisserant
parents: 54
diff changeset
    33
CXXFLAGS  = $(CFLAGS)
40
873a5b60a7ea Fixed -I library include path behavior + removed old lib implementation + added generated lib func names to stage 1_2 + added Makefile.Linux
etisserant
parents:
diff changeset
    34
873a5b60a7ea Fixed -I library include path behavior + removed old lib implementation + added generated lib func names to stage 1_2 + added Makefile.Linux
etisserant
parents:
diff changeset
    35
IECLIBDIR=lib