From 93435515a4e715e465e649c4c557dbcccf10d6b3 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Sat, 28 Oct 2017 06:35:54 +0200 Subject: psl: adjust after pnodes.py changes and regenerate. --- src/psl/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/psl/Makefile') diff --git a/src/psl/Makefile b/src/psl/Makefile index ef6439328..472a82b01 100644 --- a/src/psl/Makefile +++ b/src/psl/Makefile @@ -24,7 +24,7 @@ PNODES=../xtools/pnodes.py DEPS=psl-nodes.ads psl-nodes.adb.in $(PNODES) -PNODES_FLAGS=--field-file=psl-nodes.adb.in --spec-file=psl-nodes.ads --template-file=psl-nodes.adb.in --meta-basename=psl-nodes_meta --kind-type=Nkind --kind-prefix=N_ --node-type=Node +PNODES_FLAGS=--field-file=psl-nodes.adb.in --kind-file=psl-nodes.ads --node-file=psl-nodes.ads --template-file=psl-nodes.adb.in --meta-basename=psl-nodes_meta --kind-type=Nkind --kind-prefix=N_ --node-type=Node GEN_FILES=psl-nodes.adb psl-nodes_meta.ads psl-nodes_meta.adb -- cgit v1.2.3