# $Id$ # # Copyright 1989-2016 MINES ParisTech # # This file is part of Linear/C3 Library. # # Linear/C3 Library is free software: you can redistribute it and/or modify it # under the terms of the GNU Lesser General Public License as published by # the Free Software Foundation, either version 3 of the License, or # any later version. # # Linear/C3 Library is distributed in the hope that it will be useful, but WITHOUT ANY # WARRANTY; without even the implied warranty of MERCHANTABILITY or # FITNESS FOR A PARTICULAR PURPOSE. # # See the GNU Lesser General Public License for more details. # # You should have received a copy of the GNU Lesser General Public License # along with Linear/C3 Library. If not, see . # TARGET = sc DERIVED_CFILES = sc_gram.c sc_lex.c INC_CFILES = sc_alloc.c \ sc_projection.c \ sc_read.c \ sc.c \ sc_integer_analyze.c \ sc_feasibility.c \ sc_intersection.c \ sc_integer_projection.c \ sc_normalize.c \ sc_build_sc_nredund.c \ sc_oppose.c \ sc_triang_elim_redond.c \ sc_elim_redund.c \ sc_elim_simple_redund.c \ sc_insert_eq.c \ sc_transformation.c\ sc_var.c \ sc_eval.c \ sc_unaires.c \ sc_error.c \ sc_io.c \ sc_new_loop_bound.c \ sc_simplex_feasibility_fixprec.c \ sc_simplex_feasibility_mulprec.c \ sc_simplex_feasibility.c \ sc_debug.c \ sc_janus_feasibility.c \ sc_belong.c \ sc_misc.c LIB_CFILES= $(INC_CFILES) $(DERIVED_CFILES) OTHER_HEADERS= sc-local.h \ sc-private.h \ sc_gram.y \ sc_lex.l DERIVED_HEADERS = sc_gram.h LIB_TARGET = lib$(TARGET).a INC_TARGET = $(TARGET).h ################################################################## COMMON STUFF ROOT = ../.. PROJECT = linear include $(ROOT)/makes/main.mk sc_lex.c: sc_lex.l sc_gram.h $(SCAN) --prefix='syst_' $< | $(SCANFIX) > $@ sc_gram.c: sc_gram.y $(PARSE) --name-prefix='syst_' -d $< mv y.tab.c sc_gram.c mv y.tab.h sc_gram.h $(RM) y.tab.c y.tab.h sc_gram.h: sc_gram.c clean: local-clean local-clean: $(RM) $(DERIVED_HEADERS) $(DERIVED_CFILES)