Print this page
12257 resync smatch to 0.6.1-rc1-il-4


   3 # Common Development and Distribution License ("CDDL"), version 1.0.
   4 # You may only use this file in accordance with the terms of version
   5 # 1.0 of the CDDL.
   6 #
   7 # A full copy of the text of the CDDL should have accompanied this
   8 # source.  A copy of the CDDL is also available via the Internet at
   9 # http://www.illumos.org/license/CDDL.
  10 #
  11 # Copyright 2020 Joyent, Inc.
  12 #
  13 
  14 #
  15 # The src/ sub-directory is un-modified copy of
  16 # https://github.com/illumos/smatch/tree/$SPARSE_VERSION
  17 #
  18 # This Makefile installs just enough for us to be able to run smatch
  19 # locally.
  20 #
  21 
  22 PROG = smatch
  23 SPARSE_VERSION = 0.6.1-rc1-il-3
  24 
  25 include ../Makefile.tools
  26 
  27 # We have to build smatch before we can use cw
  28 i386_CC = $(GNUC_ROOT)/bin/gcc
  29 sparc_CC = $(GNUC_ROOT)/bin/gcc
  30 # sparc doesn't recognise -msave-args
  31 i386_SMATCHFLAGS = -msave-args
  32 sparc_SMATCHFLAGS =
  33 
  34 CFLAGS = -O -m64 -std=gnu99 -nodefaultlibs -D__sun $($(MACH)_SMATCHFLAGS)
  35 CFLAGS += -Wall -Wno-unknown-pragmas -Wno-psabi
  36 
  37 SMATCHDATADIR = $(ROOTONBLDSHARE)/smatch
  38 
  39 CFLAGS += -DSMATCHDATADIR='"$(SMATCHDATADIR)"'
  40 CFLAGS += -DGCC_BASE='"/no/such/dir"'
  41 CFLAGS += -DMULTIARCH_TRIPLET=NULL
  42 
  43 LDLIBS += -lsqlite3 -lcrypto -lm -lgcc -lc


 106 SMATCH_OBJS += smatch_assigned_expr.o
 107 SMATCH_OBJS += smatch_bits.o
 108 SMATCH_OBJS += smatch_buf_comparison.o
 109 SMATCH_OBJS += smatch_buf_size.o
 110 SMATCH_OBJS += smatch_capped.o
 111 SMATCH_OBJS += smatch_common_functions.o
 112 SMATCH_OBJS += smatch_comparison.o
 113 SMATCH_OBJS += smatch_conditions.o
 114 SMATCH_OBJS += smatch_constraints.o
 115 SMATCH_OBJS += smatch_constraints_required.o
 116 SMATCH_OBJS += smatch_container_of.o
 117 SMATCH_OBJS += smatch_data_source.o
 118 SMATCH_OBJS += smatch_db.o
 119 SMATCH_OBJS += smatch_equiv.o
 120 SMATCH_OBJS += smatch_estate.o
 121 SMATCH_OBJS += smatch_expressions.o
 122 SMATCH_OBJS += smatch_expression_stacks.o
 123 SMATCH_OBJS += smatch_extra.o
 124 SMATCH_OBJS += smatch_files.o
 125 SMATCH_OBJS += smatch_flow.o

 126 SMATCH_OBJS += smatch_fn_arg_link.o
 127 SMATCH_OBJS += smatch_function_hooks.o
 128 SMATCH_OBJS += smatch_function_info.o
 129 SMATCH_OBJS += smatch_function_ptrs.o
 130 SMATCH_OBJS += smatch_helper.o
 131 SMATCH_OBJS += smatch_hooks.o
 132 SMATCH_OBJS += smatch_ignore.o
 133 SMATCH_OBJS += smatch_imaginary_absolute.o
 134 SMATCH_OBJS += smatch_implied.o
 135 SMATCH_OBJS += smatch_impossible.o
 136 SMATCH_OBJS += smatch_integer_overflow.o
 137 SMATCH_OBJS += smatch_kernel_user_data.o
 138 SMATCH_OBJS += smatch_links.o
 139 SMATCH_OBJS += smatch_math.o
 140 SMATCH_OBJS += smatch_mem_tracker.o
 141 SMATCH_OBJS += smatch_modification_hooks.o
 142 SMATCH_OBJS += smatch_mtag_data.o
 143 SMATCH_OBJS += smatch_mtag_map.o
 144 SMATCH_OBJS += smatch_mtag.o
 145 SMATCH_OBJS += smatch_nul_terminator.o




   3 # Common Development and Distribution License ("CDDL"), version 1.0.
   4 # You may only use this file in accordance with the terms of version
   5 # 1.0 of the CDDL.
   6 #
   7 # A full copy of the text of the CDDL should have accompanied this
   8 # source.  A copy of the CDDL is also available via the Internet at
   9 # http://www.illumos.org/license/CDDL.
  10 #
  11 # Copyright 2020 Joyent, Inc.
  12 #
  13 
  14 #
  15 # The src/ sub-directory is un-modified copy of
  16 # https://github.com/illumos/smatch/tree/$SPARSE_VERSION
  17 #
  18 # This Makefile installs just enough for us to be able to run smatch
  19 # locally.
  20 #
  21 
  22 PROG = smatch
  23 SPARSE_VERSION = 0.6.1-rc1-il-4
  24 
  25 include ../Makefile.tools
  26 
  27 # We have to build smatch before we can use cw
  28 i386_CC = $(GNUC_ROOT)/bin/gcc
  29 sparc_CC = $(GNUC_ROOT)/bin/gcc
  30 # sparc doesn't recognise -msave-args
  31 i386_SMATCHFLAGS = -msave-args
  32 sparc_SMATCHFLAGS =
  33 
  34 CFLAGS = -O -m64 -std=gnu99 -nodefaultlibs -D__sun $($(MACH)_SMATCHFLAGS)
  35 CFLAGS += -Wall -Wno-unknown-pragmas -Wno-psabi
  36 
  37 SMATCHDATADIR = $(ROOTONBLDSHARE)/smatch
  38 
  39 CFLAGS += -DSMATCHDATADIR='"$(SMATCHDATADIR)"'
  40 CFLAGS += -DGCC_BASE='"/no/such/dir"'
  41 CFLAGS += -DMULTIARCH_TRIPLET=NULL
  42 
  43 LDLIBS += -lsqlite3 -lcrypto -lm -lgcc -lc


 106 SMATCH_OBJS += smatch_assigned_expr.o
 107 SMATCH_OBJS += smatch_bits.o
 108 SMATCH_OBJS += smatch_buf_comparison.o
 109 SMATCH_OBJS += smatch_buf_size.o
 110 SMATCH_OBJS += smatch_capped.o
 111 SMATCH_OBJS += smatch_common_functions.o
 112 SMATCH_OBJS += smatch_comparison.o
 113 SMATCH_OBJS += smatch_conditions.o
 114 SMATCH_OBJS += smatch_constraints.o
 115 SMATCH_OBJS += smatch_constraints_required.o
 116 SMATCH_OBJS += smatch_container_of.o
 117 SMATCH_OBJS += smatch_data_source.o
 118 SMATCH_OBJS += smatch_db.o
 119 SMATCH_OBJS += smatch_equiv.o
 120 SMATCH_OBJS += smatch_estate.o
 121 SMATCH_OBJS += smatch_expressions.o
 122 SMATCH_OBJS += smatch_expression_stacks.o
 123 SMATCH_OBJS += smatch_extra.o
 124 SMATCH_OBJS += smatch_files.o
 125 SMATCH_OBJS += smatch_flow.o
 126 SMATCH_OBJS += smatch_fresh_alloc.o
 127 SMATCH_OBJS += smatch_fn_arg_link.o
 128 SMATCH_OBJS += smatch_function_hooks.o
 129 SMATCH_OBJS += smatch_function_info.o
 130 SMATCH_OBJS += smatch_function_ptrs.o
 131 SMATCH_OBJS += smatch_helper.o
 132 SMATCH_OBJS += smatch_hooks.o
 133 SMATCH_OBJS += smatch_ignore.o
 134 SMATCH_OBJS += smatch_imaginary_absolute.o
 135 SMATCH_OBJS += smatch_implied.o
 136 SMATCH_OBJS += smatch_impossible.o
 137 SMATCH_OBJS += smatch_integer_overflow.o
 138 SMATCH_OBJS += smatch_kernel_user_data.o
 139 SMATCH_OBJS += smatch_links.o
 140 SMATCH_OBJS += smatch_math.o
 141 SMATCH_OBJS += smatch_mem_tracker.o
 142 SMATCH_OBJS += smatch_modification_hooks.o
 143 SMATCH_OBJS += smatch_mtag_data.o
 144 SMATCH_OBJS += smatch_mtag_map.o
 145 SMATCH_OBJS += smatch_mtag.o
 146 SMATCH_OBJS += smatch_nul_terminator.o