-
Notifications
You must be signed in to change notification settings - Fork 0
/
common.mk
60 lines (52 loc) · 1.99 KB
/
common.mk
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
# Common definitions. ROOT should be defined before loading this file.
# This file should not need to be modified. Local modifications should
# go in config/config.mk.
# If there is a file named config.mk in directory config, load it.
# Otherwise, load config_default.mk...
CONFIGS = $(ROOT)/config
ifneq ("$(wildcard $(CONFIGS)/config.mk)","")
CONFIG = $(CONFIGS)/config.mk
else
CONFIG = $(CONFIGS)/config_default.mk
endif
include $(CONFIG)
# Important subdirectories
SRC = $(ROOT)/src
INC = $(ROOT)/include
DRIVER_DIR = $(SRC)/driver
SET_DIR = $(SRC)/hashset
LIST_DIR = $(SRC)/list
QUEUE_DIR = $(SRC)/queue
PQUEUE_DIR = $(SRC)/pqueue
SCHEDULE_DIR = $(SRC)/schedule
# Important files
AR_INC = $(INC)/AtomicReference.cvh
AR_SRC = $(SRC)/util/AtomicReference.cvl
AMR_INC = $(INC)/AtomicMarkableReference.cvh
AMR_SRC = $(SRC)/util/AtomicMarkableReference.cvl
AB_INC = $(INC)/AtomicBoolean.cvh
AB_SRC = $(SRC)/util/AtomicBoolean.cvl
HASH_INC = $(INC)/hash.cvh
HASH_SRC = $(SRC)/util/hash.cvl
LOCK_INC = $(INC)/Lock.h
LOCK_SRC = $(SRC)/util/ReentrantLock.cvl
FAIRLOCK_SRC = $(SRC)/util/FairReentrantLock.cvl
ARRAYLIST_INC = $(INC)/ArrayList.h
ARRAYLIST_SRC = $(SRC)/util/ArrayList.cvl
DRIVER_INC = $(INC)/driver.h $(INC)/perm.h $(INC)/schedule.h $(INC)/types.h
DRIVER_SRC = $(DRIVER_DIR)/driver_base.cvl $(DRIVER_DIR)/perm.c \
$(DRIVER_DIR)/schedule.cvl
DRIVER_SET = $(DRIVER_DIR)/driver_set.cvl
DRIVER_QUEUE = $(DRIVER_DIR)/driver_queue.cvl
DRIVER_PQUEUE = $(DRIVER_DIR)/driver_pqueue.cvl
# Verification commands
VERIFY = $(CIVL) verify -userIncludePath=$(INC)
JROOT = $(ROOT)/java
JSRC=$(JROOT)/src/ampver/av
MOD_PATH = $(JROOT)/bin:$(CIVL_ROOT)/mods/dev.civl.mc/bin:$(CIVL_ROOT)/mods/dev.civl.abc/bin:$(CIVL_ROOT)/mods/dev.civl.sarl/bin:$(CIVL_ROOT)/mods/dev.civl.gmc/bin:$(VSL_DEPS)/mods/antlr3:$(VSL_DEPS)/mods/antlr4
MAIN_CLASS = $(JROOT)/bin/ampver/av/AMPVer.class
AMPVER = $(JAVA) -p $(MOD_PATH) -m ampver/av.AMPVer -root=$(ROOT)
myall: all
clean::
rm -rf CIVLREP AVREP_* *~ *.tmp a.out *.exec *.o
.PHONY: myall clean