255 lines
6.8 KiB
Plaintext
255 lines
6.8 KiB
Plaintext
make all --print-data-base --no-builtin-variables --no-builtin-rules --question
|
|
make: *** No rule to make target 'all'. Stop.
|
|
|
|
# GNU Make 4.2.1
|
|
# Built for x86_64-pc-linux-gnu
|
|
# Copyright (C) 1988-2016 Free Software Foundation, Inc.
|
|
# License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
|
|
# This is free software: you are free to change and redistribute it.
|
|
# There is NO WARRANTY, to the extent permitted by law.
|
|
|
|
# Make data base, printed on Fri Aug 26 09:46:04 2022
|
|
|
|
# Variables
|
|
|
|
# automatic
|
|
<D = $(patsubst %/,%,$(dir $<))
|
|
# automatic
|
|
?F = $(notdir $?)
|
|
# default
|
|
.SHELLFLAGS := -c
|
|
# environment
|
|
VSCODE_AGENT_FOLDER = /home/chenzh/.vscode-server
|
|
# automatic
|
|
?D = $(patsubst %/,%,$(dir $?))
|
|
# automatic
|
|
@D = $(patsubst %/,%,$(dir $@))
|
|
# automatic
|
|
@F = $(notdir $@)
|
|
# makefile
|
|
CURDIR := /home/chenzh/solvers/Light
|
|
# makefile
|
|
SHELL = /bin/sh
|
|
# environment
|
|
VSCODE_NLS_CONFIG = {"locale":"zh-cn","availableLanguages":{"*":"zh-cn"},"_languagePackId":"cc0490d1397af23dc5bf44a96fe15dbb.zh-cn","_translationsConfigFile":"/home/chenzh/.vscode-server/data/clp/cc0490d1397af23dc5bf44a96fe15dbb.zh-cn/tcf.json","_cacheRoot":"/home/chenzh/.vscode-server/data/clp/cc0490d1397af23dc5bf44a96fe15dbb.zh-cn","_resolvedLanguagePackCoreLocation":"/home/chenzh/.vscode-server/data/clp/cc0490d1397af23dc5bf44a96fe15dbb.zh-cn/e4503b30fc78200f846c62cf8091b76ff5547662","_corruptedFile":"/home/chenzh/.vscode-server/data/clp/cc0490d1397af23dc5bf44a96fe15dbb.zh-cn/corrupted.info","_languagePackSupport":true}
|
|
# environment
|
|
_ = /home/chenzh/.vscode-server/bin/e4503b30fc78200f846c62cf8091b76ff5547662/node
|
|
# makefile (from 'makefile', line 1)
|
|
MAKEFILE_LIST := makefile
|
|
# 'override' directive
|
|
GNUMAKEFLAGS :=
|
|
# makefile (from 'makefile', line 10)
|
|
CXXFLAGS = -Ikissat-inc -std=c++11 -O3
|
|
# environment
|
|
XDG_DATA_DIRS = /usr/local/share:/usr/share:/var/lib/snapd/desktop
|
|
# makefile (from 'makefile', line 3)
|
|
OBJS = $(addsuffix .o, $(basename $(SRCS)))
|
|
# environment
|
|
LESSOPEN = | /usr/bin/lesspipe %s
|
|
# environment
|
|
VSCODE_CWD = /home/chenzh
|
|
# environment
|
|
SSH_CONNECTION = 172.16.2.5 62969 192.168.100.1 22
|
|
# environment
|
|
PATH = /home/chenzh/.vscode-server/bin/e4503b30fc78200f846c62cf8091b76ff5547662/bin/remote-cli:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/snap/bin
|
|
# environment
|
|
ELECTRON_RUN_AS_NODE = 1
|
|
# environment
|
|
VSCODE_IPC_HOOK_CLI = /tmp/vscode-ipc-66783d91-6111-4309-8bbc-0cdfc3119c20.sock
|
|
# default
|
|
.FEATURES := target-specific order-only second-expansion else-if shortest-stem undefine oneshell archives jobserver output-sync check-symlink load
|
|
# environment
|
|
LS_COLORS =
|
|
# automatic
|
|
%F = $(notdir $%)
|
|
# environment
|
|
PWD = /home/chenzh/solvers/Light
|
|
# default
|
|
.LOADED :=
|
|
# automatic
|
|
*D = $(patsubst %/,%,$(dir $*))
|
|
# environment
|
|
VSCODE_AMD_ENTRYPOINT = vs/workbench/api/node/extensionHostProcess
|
|
# environment
|
|
HOME = /home/chenzh
|
|
# environment
|
|
LESSCLOSE = /usr/bin/lesspipe %s %s
|
|
# environment
|
|
LOGNAME = chenzh
|
|
# environment
|
|
APPLICATION_INSIGHTS_NO_DIAGNOSTIC_CHANNEL = 1
|
|
# automatic
|
|
+F = $(notdir $+)
|
|
# environment
|
|
VSCODE_HANDLES_UNCAUGHT_ERRORS = true
|
|
# automatic
|
|
^D = $(patsubst %/,%,$(dir $^))
|
|
# environment
|
|
MAKELEVEL := 0
|
|
# default
|
|
MAKE = $(MAKE_COMMAND)
|
|
# default
|
|
MAKECMDGOALS := all
|
|
# makefile (from 'makefile', line 1)
|
|
SRCS = $(shell find . -name "*.cpp")
|
|
# environment
|
|
SHLVL = 0
|
|
# makefile (from 'makefile', line 5)
|
|
EXEC = light
|
|
# default
|
|
MAKE_VERSION := 4.2.1
|
|
# environment
|
|
USER = chenzh
|
|
# makefile
|
|
.DEFAULT_GOAL := light
|
|
# automatic
|
|
%D = $(patsubst %/,%,$(dir $%))
|
|
# default
|
|
MAKE_COMMAND := make
|
|
# environment
|
|
OLDPWD = /home/chenzh/.vscode-server/bin/e4503b30fc78200f846c62cf8091b76ff5547662
|
|
# default
|
|
.VARIABLES :=
|
|
# automatic
|
|
*F = $(notdir $*)
|
|
# makefile
|
|
MAKEFLAGS = pqrR
|
|
# environment
|
|
MFLAGS = -pqrR
|
|
# environment
|
|
SSH_CLIENT = 172.16.2.5 62969 22
|
|
# automatic
|
|
+D = $(patsubst %/,%,$(dir $+))
|
|
# environment
|
|
BROWSER = /home/chenzh/.vscode-server/bin/e4503b30fc78200f846c62cf8091b76ff5547662/bin/helpers/browser.sh
|
|
# environment
|
|
VSCODE_HANDLES_SIGPIPE = true
|
|
# 'override' directive
|
|
.SHELLSTATUS := 0
|
|
# default
|
|
MAKEFILES :=
|
|
# automatic
|
|
<F = $(notdir $<)
|
|
# environment
|
|
LC_ALL = C
|
|
# makefile (from 'makefile', line 7)
|
|
LIBS = -lkissat -Lkissat-inc/build/ -lpthread -lz -lm -static
|
|
# automatic
|
|
^F = $(notdir $^)
|
|
# default
|
|
SUFFIXES :=
|
|
# default
|
|
.INCLUDE_DIRS = /usr/include /usr/local/include /usr/include
|
|
# default
|
|
.RECIPEPREFIX :=
|
|
# default
|
|
MAKE_HOST := x86_64-pc-linux-gnu
|
|
# environment
|
|
LANG = C
|
|
# environment
|
|
MOTD_SHOWN = pam
|
|
# variable set hash-table stats:
|
|
# Load=68/1024=7%, Rehash=0, Collisions=9/99=9%
|
|
|
|
# Pattern-specific Variable Values
|
|
|
|
# No pattern-specific variable values.
|
|
|
|
# Directories
|
|
|
|
# . (device 55, inode 89687378): 23 files, no impossibilities.
|
|
|
|
# 23 files, no impossibilities in 1 directories.
|
|
|
|
# Implicit Rules
|
|
|
|
%.o: %.cpp
|
|
# recipe to execute (from 'makefile', line 16):
|
|
$(CXX) -c $< -o $@ $(CXXFLAGS) $(LIBS)
|
|
|
|
# 1 implicit rules, 0 (0.0%) terminal.
|
|
|
|
# Files
|
|
|
|
# Not a target:
|
|
all:
|
|
# Command line target.
|
|
# Implicit rule search has been done.
|
|
# File does not exist.
|
|
# File has not been updated.
|
|
|
|
# Not a target:
|
|
makefile:
|
|
# Implicit rule search has been done.
|
|
# Last modified 2022-08-24 20:09:30.944291003
|
|
# File has been updated.
|
|
# Successfully updated.
|
|
|
|
# Not a target:
|
|
solve.o:
|
|
# Implicit rule search has not been done.
|
|
# Modification time never checked.
|
|
# File has not been updated.
|
|
|
|
# Not a target:
|
|
.DEFAULT:
|
|
# Implicit rule search has not been done.
|
|
# Modification time never checked.
|
|
# File has not been updated.
|
|
|
|
# Not a target:
|
|
light.o:
|
|
# Implicit rule search has not been done.
|
|
# Modification time never checked.
|
|
# File has not been updated.
|
|
|
|
# Not a target:
|
|
basekissat.o:
|
|
# Implicit rule search has not been done.
|
|
# Modification time never checked.
|
|
# File has not been updated.
|
|
|
|
light: light.o basekissat.o main.o solve.o paras.o
|
|
# Implicit rule search has not been done.
|
|
# Modification time never checked.
|
|
# File has not been updated.
|
|
# recipe to execute (from 'makefile', line 13):
|
|
$(CXX) -o $@ $^ $(CXXFLAGS) $(LIBS)
|
|
|
|
clean:
|
|
# Implicit rule search has not been done.
|
|
# Modification time never checked.
|
|
# File has not been updated.
|
|
# recipe to execute (from 'makefile', line 19):
|
|
rm -f $(OBJS) $(EXEC)
|
|
|
|
# Not a target:
|
|
paras.o:
|
|
# Implicit rule search has not been done.
|
|
# Modification time never checked.
|
|
# File has not been updated.
|
|
|
|
# Not a target:
|
|
main.o:
|
|
# Implicit rule search has not been done.
|
|
# Modification time never checked.
|
|
# File has not been updated.
|
|
|
|
# files hash-table stats:
|
|
# Load=11/1024=1%, Rehash=0, Collisions=0/26=0%
|
|
# VPATH Search Paths
|
|
|
|
# No 'vpath' search paths.
|
|
|
|
# No general ('VPATH' variable) search path.
|
|
|
|
# strcache buffers: 1 (0) / strings = 31 / storage = 286 B / avg = 9 B
|
|
# current buf: size = 8162 B / used = 286 B / count = 31 / avg = 9 B
|
|
|
|
# strcache performance: lookups = 43 / hit rate = 27%
|
|
# hash-table stats:
|
|
# Load=31/8192=0%, Rehash=0, Collisions=1/43=2%
|
|
# Finished Make data base on Fri Aug 26 09:46:04 2022
|
|
|
|
|