mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-14 03:10:47 +00:00
87ce2964ee
* patch-lib_dialyzer_src_Makefile Avoid computing the PLT when building the port. It may take so long that the port building cluster thinks this is a runaway port. * patch-lib_dialyzer_src_dialyzer__cl.erl Trick dialyzer into building the PLT even after the port is installed. * patch-lib_dialyzer_src_dialyzer__cl__parse.erl Let every user have his own initial PLT in ~/.dialyzer_init_plt. When dialyzer is invoked the PLT will be rebuilt if needed. This commit will fix both ports/105869 and the pointyhat port checks.
43 lines
1.1 KiB
Plaintext
43 lines
1.1 KiB
Plaintext
|
|
$FreeBSD$
|
|
|
|
--- lib/dialyzer/src/Makefile.orig
|
|
+++ lib/dialyzer/src/Makefile
|
|
@@ -66,8 +66,6 @@
|
|
dialyzer_succ_typings \
|
|
dialyzer_typesig
|
|
|
|
-EXTRA_FILES= ../plt/dialyzer_init_plt ## automatically generated
|
|
-
|
|
HRL_FILES= dialyzer.hrl
|
|
ERL_FILES= $(MODULES:%=%.erl)
|
|
INSTALL_FILES= $(MODULES:%=$(EBIN)/%.$(EMULATOR)) $(APP_TARGET) $(APPUP_TARGET)
|
|
@@ -91,13 +89,12 @@
|
|
# Targets
|
|
# ----------------------------------------------------
|
|
|
|
-debug opt: $(TARGET_FILES) $(DIALYZER_DIR)/plt/dialyzer_init_plt
|
|
+debug opt: $(TARGET_FILES)
|
|
|
|
docs:
|
|
|
|
clean:
|
|
rm -f $(TARGET_FILES)
|
|
- rm -f $(EXTRA_FILES)
|
|
rm -f core
|
|
|
|
# ----------------------------------------------------
|
|
@@ -149,11 +146,10 @@
|
|
|
|
release_spec: opt
|
|
$(INSTALL_DIR) $(RELSYSDIR)/src
|
|
- $(INSTALL_DATA) $(ERL_FILES) $(HRL_FILES) $(EXTRA_FILES) \
|
|
+ $(INSTALL_DATA) $(ERL_FILES) $(HRL_FILES) \
|
|
$(RELSYSDIR)/src
|
|
$(INSTALL_DIR) $(RELSYSDIR)/ebin
|
|
$(INSTALL_DATA) $(INSTALL_FILES) $(RELSYSDIR)/ebin
|
|
$(INSTALL_DIR) $(RELSYSDIR)/plt
|
|
- $(INSTALL_DATA) ../plt/dialyzer_init_plt $(RELSYSDIR)/plt
|
|
|
|
release_docs_spec:
|